| 2026 | KR | A Normal Form for Rules Containing Arithmetic Operations. | Jorge Fandinno, Yuliya Lierler, Vladimir Lifschitz |
| 2025 | JELIA | An Experiment with Anthem: Semantic Equivalence of Tiling Programs. | Vladimir Lifschitz |
| 2025 | JELIA | Generalizing the Syntax of Terms in Mini-gringo. | Vladimir Lifschitz |
| 2024 | LPNMR | Deductive Systems for Logic Programs with Counting: Preliminary Report. | Jorge Fandinno, Vladimir Lifschitz |
| 2023 | JELIA | On Heuer's Procedure for Verifying Strong Equivalence. | Jorge Fandinno, Vladimir Lifschitz |
| 2023 | KR | Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs. | Jorge Fandinno, Vladimir Lifschitz |
| 2022 | ICLP | Translating Definitions into the Language of Logic Programming: A Case Study. | Vladimir Lifschitz |
| 2021 | JELIA | Transforming Gringo Rules into Formulas in a Natural Way. | Vladimir Lifschitz |
| 2019 | LPNMR | Verifying Strong Equivalence of Programs in the Input Language of gringo. | Vladimir Lifschitz, Patrick Lhne, Torsten Schaub |
| 2016 | ICLP | Intelligent Instantiation and Supersafe Rules. | Vladimir Lifschitz |
| 2015 | AAAI | Pearl's Causality in a Logical Setting. | Alexander Bochman, Vladimir Lifschitz |
| 2015 | LPNMR | Infinitary Equilibrium Logic and Strong Equivalence. | Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustn Valverde |
| 2014 | KR | The Semantics of Gringo and Infinitary Propositional Formulas. | Amelia J. Harrison, Vladimir Lifschitz, Fangkai Yang |
| 2013 | IJCAI | Action Language BC: Preliminary Report. | Joohyung Lee, Vladimir Lifschitz, Fangkai Yang |
| 2013 | LPNMR | On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics. | Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski |
| 2012 | ICLP | Two-Valued Logic Programs. | Vladimir Lifschitz |
| 2012 | KR | Logic Programs with Intensional Functions. | Vladimir Lifschitz |
| 2011 | ICLP | Yet Another Characterization of Strong Equivalence. | Alexander Bochman, Vladimir Lifschitz |
| 2011 | LPNMR | Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. | Yuliya Lierler, Vladimir Lifschitz |
| 2010 | JELIA | Translating First-Order Causal Theories into Answer Set Programming. | Vladimir Lifschitz, Fangkai Yang |
| 2009 | ICLP | One More Decidable Class of Finitely Ground Programs. | Yuliya Lierler, Vladimir Lifschitz |
| 2009 | IJCAI | Symmetric Splitting in the General Theory of Stable Models. | Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla |
| 2008 | AAAI | A Reductive Semantics for Counting and Choice in Answer Set Programming. | Joohyung Lee, Vladimir Lifschitz, Ravi Palla |
| 2008 | AAAI | What Is Answer Set Programming?. | Vladimir Lifschitz |
| 2008 | ICLP | Safe Formulas in the General Theory of Stable Models (Preliminary Report). | Joohyung Lee, Vladimir Lifschitz, Ravi Palla |
| 2008 | ICLP | Twelve Definitions of a Stable Model. | Vladimir Lifschitz |
| 2007 | AAAI | The Semantics of Variables in Action Descriptions. | Vladimir Lifschitz, Wanwan Ren |
| 2007 | IJCAI | A New Perspective on Stable Models. | Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz |
| 2007 | LPNMR | A Characterization of Strong Equivalence for Logic Programs with Variables. | Vladimir Lifschitz, David Pearce, Agustn Valverde |
| 2006 | AAAI | A Modular Action Description Language. | Vladimir Lifschitz, Wanwan Ren |
| 2006 | ILP | Actions, Causation and Logic Programming. | Vladimir Lifschitz |
| 2006 | KR | Actions as Special Cases. | Selim T. Erdogan, Vladimir Lifschitz |
| 2004 | LPNMR | Almost Definite Causal Theories. | Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz |
| 2003 | ICLP | Definitions in Answer Set Programming: (Extended Abstract). | Selim T. Erdogan, Vladimir Lifschitz |
| 2003 | ICLP | Loop Formulas for Disjunctive Logic Programs. | Joohyung Lee, Vladimir Lifschitz |
| 2003 | IJCAI | Describing Additive Fluents in Action Language C+. | Joohyung Lee, Vladimir Lifschitz |
| 2003 | PADL | Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. | Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe |
| 2001 | ICLP | Fages' Theorem for Programs with Nested Expressions. | Esra Erdem, Vladimir Lifschitz |
| 2000 | KR | Missionaries and Cannibals in the Causal Calculator. | Vladimir Lifschitz |
| 1999 | ICLP | Answer Set Planning. | Vladimir Lifschitz |
| 1999 | LPNMR | Transformations of Logic Programs Related to Causality and Planning. | Esra Erdem, Vladimir Lifschitz |
| 1999 | LPNMR | Answer Set Planning (Abstract). | Vladimir Lifschitz |
| 1999 | LPNMR | Representing Transition Systems by Logic Programs. | Vladimir Lifschitz, Hudson Turner |
| 1998 | AAAI | An Action Language Based on Causal Explanation: Preliminary Report. | Enrico Giunchiglia, Vladimir Lifschitz |
| 1998 | KR | Situation Calculus and Causal Logic. | Vladimir Lifschitz |
| 1995 | ICLP | SLDNF, Constructive Negation and Grounding. | Vladimir Lifschitz |
| 1995 | IJCAI | Dependent Fluents. | Enrico Giunchiglia, Vladimir Lifschitz |
| 1995 | IJCAI | A Simple Formalization of Actions Using Circumscription. | G. Neelakantan Kartha, Vladimir Lifschitz |
| 1995 | LPNMR | Loop Checking and the Wll-Founded Semantics. | Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. Strk |
| 1994 | ICLP | Splitting a Logic Program. | Vladimir Lifschitz, Hudson Turner |
| 1994 | KR | Actions with Indirect Effects (Preliminary Report). | G. Neelakantan Kartha, Vladimir Lifschitz |
| 1994 | TARK | Autoepistemic Logic and Introspective Circumscription. | Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz |
| 1993 | AAAI | Restricted Monotonicity. | Vladimir Lifschitz |
| 1993 | LPNMR | Extended Logic Programs as Autoepistemic Theories. | Vladimir Lifschitz, Grigori Schwarz |
| 1992 | ICLP | Representing Actions in Extended Logic Programming. | Michael Gelfond, Vladimir Lifschitz |
| 1992 | KR | Answer Sets in General Nonmonotonic Reasoning (Preliminary Report). | Vladimir Lifschitz, Thomas Y. C. Woo |
| 1991 | IJCAI | Nonmonotonic Databases and Epistemic Queries. | Vladimir Lifschitz |
| 1991 | KR | Disjective Defaults. | Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski |
| 1991 | KR | Toward a Metatheory of Action. | Vladimir Lifschitz |
| 1990 | ICLP | Logic Programs with Classical Negation. | Michael Gelfond, Vladimir Lifschitz |
| 1989 | IJCAI | Things That Change by Themselves. | Vladimir Lifschitz, Arkady Rabinov |
| 1989 | KR | Critical Issues in Nonmonotonic Reasoning. | David W. Etherington, Kenneth D. Forbus, Matthew L. Ginsberg, David J. Israel, Vladimir Lifschitz |
| 1989 | KR | Between Circumscription and Autoepistemic Logic. | Vladimir Lifschitz |
| 1989 | LICS | The Mathematics of Nonmonotonic Reasoning (Abstract) | Vladimir Lifschitz |
| 1988 | AAAI | Compiling Circumscriptive Theories into Logic Programs. | Michael Gelfond, Vladimir Lifschitz |
| 1988 | ICLP | The Stable Model Semantics for Logic Programming. | Michael Gelfond, Vladimir Lifschitz |
| 1987 | AAAI | Circumscriptive Theories: A Logic-based Framework for Knowledge Representation (Preliminary Report). | Vladimir Lifschitz |
| 1987 | IJCAI | Formal Theories of Action (Preliminary Report). | Vladimir Lifschitz |
| 1986 | AAAI | Pointwise Circumscription: Preliminary Report. | Vladimir Lifschitz |
| 1985 | IJCAI | Computing Circumscription. | Vladimir Lifschitz |