Circumscription
Circumscription is a non-monotonic logic created by John McCarthy to formalize the common sense assumption that things are as expected unless otherwise specified. Circumscription was later used by McCarthy in an attempt to solve the frame problem. (http://en.wikipedia.org/wiki/Circumscription_(logic))
     [Expand to show all 11][Minimize]
Stable Models and Circumscription 2011
Paolo Ferraris, Joohyung Lee, and Vladimir Lifschitz, Artificial Intelligence, Vol. 175 (2011), pp. 236--263.
Loop Formulas for Circumscription 2004
Joohyung Lee and Fangzhen Lin, In Proceedings of National Conference on Artificial Intelligence (AAAI), pp. 281-286 2004.
A Simple Formalization of Actions Using Circumscription 1995
G. Neelakantan Kartha and Vladimir Lifschitz, In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 1970-1975 1995.
ECWA Made Easy 1995
Vladimir Lifschitz, Annals of Mathematics and Artificial Intelligence, Vol. 14 (1995), pp. 269-274.
Nested Abnormality Theories 1995
Vladimir Lifschitz, Artificial Intelligence, Vol. 74 (1995), pp. 351-365.
Actions with Indirect Effects (preliminary report) 1994
G. Neelakantan Kartha and Vladimir Lifschitz, In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 341-350 1994.
Autoepistemic Logic and Introspective Circumscription 1994
Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska and Grigori Schwarz, In Theoretical Aspects of Reasoning about Knowledge: Proceedings Fifth Conf., Fagin, Ronald (Eds.), pp. 197-207 1994.
Circumscription 1994
Vladimir Lifschitz, Handbook of Logic in AI and Logic Programming, Vol. 3 (1994), pp. 298--352. Oxford University Press.
Minimal Belief and Negation as Failure 1994
Vladimir Lifschitz, Artificial IntelligenceGabbay, D.M. and Hogger, C.J. and Robinson, J.A. (Eds.), Vol. 70 (1994), pp. 53--72. Oxford University Press.
Restricted Monotonicity 1993
Vladimir Lifschitz, In Proceedings of National Conference on Artificial Intelligence (AAAI), pp. 432-437 1993.
Towards a Metatheory of Action 1991
Vladimir Lifschitz, In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), Allen, James and Fikes, Richard and Sandewall, Erik (Eds.), pp. 376-386 1991.