default search action
Artificial Intelligence, Volume 7
Volume 7, Number 1, March 1976
- Lawrence J. Mazlack:
Computer Construction of Crossword Puzzles Using Precedence Relationships. 1-19 - Charles L. Hedrick:
Learning Production Systems from Examples. 21-49 - Robert E. Shostak:
Refutation Graphs. 51-64 - Gregory R. Ruth:
Intelligent Program Analysis. 65-85
Volume 7, Number 2, June 1976
- Chuck Rieger:
An Organization of Knowledge for Problem Solving and Language Comprehension. 89-127 - Olga Stepánková, Ivan M. Havel:
A Logical Theory of Robot Problem Solving. 129-161 - Lenhart K. Schubert:
Extending the Expressive Power of Semantic Networks. 163-198
- Stuart C. Shapiro:
Earl B. Hunt, Artificial Intelligence. 199-201
Volume 7, Number 3, September 1976
- Billy G. Claybrook:
A New Approach to the Symbolic Factorization of Multivariate Polynomials. 203-241 - Giorgio Levi, Franco Sirovich:
Generalized AND/OR Graphs. 243-259 - Daniel L. Chester:
The Translation of Formal Proofs into English. 261-278
- Azriel Rosenfeld:
Patrick Henry Winston (editor), The Psychology of Computer Vision. 279-282
Volume 7, Number 4, December 1976
- Daniel Brand:
Analytic Resolution in Theorem Proving. 285-318 - Lennart Beckman, Anders Haraldson, Östen Oskarsson, Erik Sandewall:
A Partial Evaluator, and its Use as a Programming Tool. 319-357
- Daniel L. Chester:
John Craig Comfort, A Flexible Efficient Computer System to Answer Human Questions. 363-365
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.