Research noteOn the satisfiability of circumscription
References (6)
Circumscription—a form of non-monotonic reasoning
Artificial Intelligence
(1980)Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
(1986)- et al.
Saturation, nonmonotonic reasoning and the closed-world assumption
Artificial Intelligence
(1985)
There are more references available in the full text version of this article.
Cited by (50)
Prioritized logic programming and its application to commonsense reasoning
2000, Artificial IntelligenceAn extension of pointwise circumscription
1996, Artificial IntelligenceCircumscription. Completeness reviewed
1993, Artificial IntelligenceAbstract minimality and circumscription
1992, Artificial IntelligenceModel enumeration in propositional circumscription via unsatisfiable core analysis
2017, Theory and Practice of Logic ProgrammingArgumentation Reasoning via Circumscription with Pyglaf
2019, Fundamenta Informaticae
Copyright © 1986 Published by Elsevier B.V.