Stable Models and Circumscription (2010) Paolo Ferraris, Joohyung Lee, and Vladimir Lifschitz
One More Decidable Class of Finitely Ground Programs (2009) Yuliya Lierler and Vladimir Lifschitz
Symmetric Splitting in the General Theory of Stable Models (2009) Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, and Ravi Palla
Knowledge Representation and Classical Logic (2008) Vladimir Lifschitz, Leora Morgenstern and David Plaisted
Logic Programs vs. First-order Formulas in Textual Inference (2008) Yuliya Lierler and Vladimir Lifschitz
A Reductive Semantics for Counting and Choice in Answer Set Programming (2008) Joohyung Lee, Vladimir Lifschitz, and Ravi Palla
What Is Answer Set Programming? (2008) Vladimir Lifschitz
Twelve Definitions of a Stable Model (2008) Vladimir Lifschitz
Safe Formulas in the General Theory of Stable Models (preliminary report) (2008) Joohyung Lee, Vladimir Lifschitz, and Ravi Palla
A New Perspective on Stable Models (2007) Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz
Why the Monkey Needs the Box: a Serious Look at a Toy Domain (2007) Selim T. Erdoğan, Paolo Ferraris, Vladimir Lifschitz and Wanwan Ren
Variables in Action Descriptions: Merging C+ with ADL (2007) Vladimir Lifschitz and Wanwan Ren
The Semantics of Variables in Action Descriptions (2007) Vladimir Lifschitz and Wanwan Ren
A Characterization of Strong Equivalence for Logic Programs with Variables (2007) Vladimir Lifschitz, David Pearce and Agustin Valverde
Why Are There So Many Loop Formulas? (2006) Vladimir Lifschitz and Alexander Razborov
Temporal Phylogenetic Networks and Logic Programming (2006) Esra Erdem, Vladimir Lifschitz and Don Ringe
A Knowledge Module: Buying and Selling (2006) Joohyung Lee and Vladimir Lifschitz
Actions as Special Cases (2006) Selim T. Erdoğan and Vladimir Lifschitz
A Modular Action Description Language (2006) Vladimir Lifschitz and Wanwan Ren
A Generalization of the Lin-Zhao Theorem (2006) Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz
