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))
Subareas:
Publications
     [Expand to show all 11][Minimize]
Stable Models and Circumscription 2011
Paolo Ferraris, Joohyung Lee, and Vladimir Lifschitz, Artificial Intelligence, 175:236--263, 2011.
Loop Formulas for Circumscription 2004
Joohyung Lee and Fangzhen Lin, In Proceedings of National Conference on Artificial Intelligence (AAAI), 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), 1970-1975, 1995.
ECWA Made Easy 1995
Vladimir Lifschitz, Annals of Mathematics and Artificial Intelligence, 14:269-274, 1995.
Nested Abnormality Theories 1995
Vladimir Lifschitz, Artificial Intelligence, 74:351-365, 1995.
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), 341-350, 1994.
Autoepistemic Logic and Introspective Circumscription 1994
Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska and Grigori Schwarz, In Fagin, Ronald, editors, Theoretical Aspects of Reasoning about Knowledge: Proceedings Fifth Conf., 197-207, 1994.
Circumscription 1994
Vladimir Lifschitz, Handbook of Logic in AI and Logic Programming, 3:298--352, 1994. Oxford University Press.
Minimal Belief and Negation as Failure 1994
Vladimir Lifschitz, In Gabbay, D.M. and Hogger, C.J. and Robinson, J.A., editors, Handbook of Logic in AI and Logic Programming, 70, 53--72, 1994. Oxford University Press.
Restricted Monotonicity 1993
Vladimir Lifschitz, In Proceedings of National Conference on Artificial Intelligence (AAAI), 432-437, 1993.
Towards a Metatheory of Action 1991
Vladimir Lifschitz, In Allen, James and Fikes, Richard and Sandewall, Erik, editors, Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), 376-386, 1991.
Labs
Texas Action Group