Search and Reasoning in problem solving
- 1 March 1983
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 21 (1-2) , 7-29
- https://doi.org/10.1016/s0004-3702(83)80003-4
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- Prolegomena to a theory of mechanized formal reasoningArtificial Intelligence, 1980
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971