Lifschitz, Vladimir

20 publications

AAAI 2015 Pearl's Causality in a Logical Setting Alexander Bochman, Vladimir Lifschitz

IJCAI 2013 Action Language BC: Preliminary Report Joohyung Lee, Vladimir Lifschitz, Fangkai Yang

IJCAI 2009 Symmetric Splitting in the General Theory of Stable Models Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla

AAAI 2008 A Reductive Semantics for Counting and Choice in Answer Set Programming Joohyung Lee, Vladimir Lifschitz, Ravi Palla

AAAI 2008 What Is Answer Set Programming? Vladimir Lifschitz

IJCAI 2007 A New Perspective on Stable Models Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz

AAAI 2007 The Semantics of Variables in Action Descriptions Vladimir Lifschitz, Wanwan Ren

AAAI 2006 A Modular Action Description Language Vladimir Lifschitz, Wanwan Ren

IJCAI 2003 Describing Additive Fluents in Action Language C+ Joohyung Lee, Vladimir Lifschitz

AAAI 1998 An Action Language Based on Causal Explanation: Preliminary Report Enrico Giunchiglia, Vladimir Lifschitz

IJCAI 1995 A Simple Formalization of Actions Using Circumscription G. Neelakantan Kartha, Vladimir Lifschitz

IJCAI 1995 Dependent Fluents Enrico Giunchiglia, Vladimir Lifschitz

AAAI 1993 Restricted Monotonicity Vladimir Lifschitz

IJCAI 1991 Nonmonotonic Databases and Epistemic Queries Vladimir Lifschitz

IJCAI 1989 Things That Change by Themselves Vladimir Lifschitz, Arkady Rabinov

AAAI 1988 Compiling Circumscriptive Theories into Logic Programs Michael Gelfond, Vladimir Lifschitz

AAAI 1987 Circumscriptive Theories: A Logic-Based Framework for Knowledge Representation (Preliminary Report) Vladimir Lifschitz

IJCAI 1987 Formal Theories of Action (Preliminary Report) Vladimir Lifschitz

AAAI 1986 Pointwise Circumscription: Preliminary Report Vladimir Lifschitz

IJCAI 1985 Computing Circumscription Vladimir Lifschitz