Rigor mortis: A response to Nilsson's “Logic and artificial intelligence”
- 1 January 1991
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 47 (1-3) , 57-77
- https://doi.org/10.1016/0004-3702(91)90050-t
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987
- Commentary on McDermottComputational Intelligence, 1987
- Metacritique of McDermott and the logicist approachComputational Intelligence, 1987
- Logic versus logicism: a reply to McDermottComputational Intelligence, 1987
- Logic and explanationComputational Intelligence, 1987
- A critique of pure reason1Computational Intelligence, 1987
- The knowledge levelArtificial Intelligence, 1982
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- Social processes and proofs of theorems and programsCommunications of the ACM, 1979
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971