A circumscriptive theorem prover
References (18)
An assumption-based TMS
Artificial Intelligence
(1986)- et al.
Nonmonotonic logic and temporal projection
Artificial Intelligence
(1987) Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
(1986)Circumscription—A form of non-monotonic reasoning
Artificial Intelligence
(1980)- et al.
Ordering conjunctive queries
Artificial Intelligence
(1985) - et al.
- Gelfond, M. and Lifschitz, V., Compiling circumscriptive theories into logic programs (to...
- et al.
The extended closed world assumption and its relationship to parallel circumscription
An overview of meta-level architecture
There are more references available in the full text version of this article.
Cited by (64)
Nonmonotonic reasoning
2007, Handbook of the History of LogicReasoning under minimal upper bounds in propositional logic
2006, Theoretical Computer ScienceProlog technology for default reasoning: Proof theory and compilation techniques
1998, Artificial IntelligenceAn abstract, argumentation-theoretic approach to default reasoning
1997, Artificial IntelligenceReducing belief revision to circumscription (and vice versa)
1997, Artificial IntelligenceCompiling specificity into approaches to nonmonotonic reasoning
1997, Artificial Intelligence
Copyright © 1989 Published by Elsevier B.V.