Switch to: Citations

References in:

Stable models and circumscription

Paolo Ferraris, Joohyung Lee & Vladimir Lifschitz

Artificial Intelligence 175 (1):236-263 (2011)

Add references

You must login to add references.

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.details Philosophy of Artificial Intelligence, Miscellaneous in Philosophy of Cognitive Science Direct download (2 more) Export citation Bookmark 631 citations
Extending and implementing the stable model semantics.Patrik Simons, Ilkka Niemelä & Timo Soininen - 2002 - Artificial Intelligence 138 (1-2):181-234.details Science, Logic, and Mathematics Direct download (2 more) Export citation Bookmark 36 citations
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.details Nonmonotonic Logic in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 175 citations
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.details Nonmonotonic Logic in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 348 citations
Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.details Nonmonotonic Logic in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 183 citations
A logic of knowledge and justified assumptions.Fangzhen Lin & Yoav Shoham - 1992 - Artificial Intelligence 57 (2-3):271-289.details Science, Logic, and Mathematics Direct download (2 more) Export citation Bookmark 9 citations
Loop formulas for circumscription.Joohyung Lee & Fangzhen Lin - 2006 - Artificial Intelligence 170 (2):160-185.details Science, Logic, and Mathematics Direct download (2 more) Export citation Bookmark 2 citations

1