Circumscription
Publications (11)
Stable Models and Circumscription 2011
Paolo Ferraris, Joohyung Lee, and Vladimir Lifschitz
Loop Formulas for Circumscription 2004
Joohyung Lee and Fangzhen Lin
A Simple Formalization of Actions Using Circumscription 1995
G. Neelakantan Kartha and Vladimir Lifschitz
ECWA Made Easy 1995
Vladimir Lifschitz
Nested Abnormality Theories 1995
Vladimir Lifschitz
Actions with Indirect Effects (preliminary report) 1994
G. Neelakantan Kartha and Vladimir Lifschitz
Autoepistemic Logic and Introspective Circumscription 1994
Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska and Grigori Schwarz
Circumscription 1994
Vladimir Lifschitz
Minimal Belief and Negation as Failure 1994
Vladimir Lifschitz
Restricted Monotonicity 1993
Vladimir Lifschitz
Towards a Metatheory of Action 1991
Vladimir Lifschitz
Labs
Texas Action Group