Non-monotonic logic I
- 30 April 1980
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 13 (1-2), 41-72
- https://doi.org/10.1016/0004-3702(80)90012-0
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A truth maintenance systemArtificial Intelligence, 1979
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysisArtificial Intelligence, 1977
- Outline of a Theory of TruthThe Journal of Philosophy, 1975
- A Human Oriented Logic for Automatic Theorem-ProvingJournal of the ACM, 1974
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971
- Singular Terms, Truth-Value Gaps, and Free LogicThe Journal of Philosophy, 1966
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965