UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
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))
Publications
[Expand to show all 12]
[Minimize]
Interview to Kunstliche Intelligenz
2018
Vladimir Lifschitz,
Kunstliche Intelligenz
(2018).
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 Intelligence
Gabbay, 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.