The Number of Increasing Subsequences of the Random Permutation. - Vladimir Lifschitz; Boris G. Pittel (J. Comb. Theory A, 1981)

Constructive Assertions in an Extension of Classical Mathematics. - Vladimir Lifschitz (J. Symb. Log., 1982)

A Note on the Complexity of a Partition Algorithm. - Vladimir Lifschitz; Leon Pesotchinsky (Inf. Process. Lett., 1983)

The Worst and the Most Probable Performance of a Class of Set-Covering Algorithms. - Vladimir Lifschitz; Boris G. Pittel (SIAM J. Comput., 1983)

Some Results on Circumscription. - Vladimir Lifschitz (NMR, 1984)

On Verification of Programs With Goto Statements. - Vladimir Lifschitz (Inf. Process. Lett., 1984)

Computing Circumscription. - Vladimir Lifschitz (IJCAI, 1985)

Closed-World Databases and Circumscription. - Vladimir Lifschitz (Artif. Intell., 1985)

Pointwise Circumscription: Preliminary Report. - Vladimir Lifschitz (AAAI, 1986)

On the Satisfiability of Circumscription. - Vladimir Lifschitz (Artif. Intell., 1986)

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

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

On the Declarative Semantics of Logic Programs with Negation. - Vladimir Lifschitz (Foundations of Deductive Databases and Logic Programming., 1988)

Compiling Circumscriptive Theories into Logic Programs. - Michael Gelfond; Vladimir Lifschitz (AAAI, 1988)

The Stable Model Semantics for Logic Programming. - Michael Gelfond; Vladimir Lifschitz (ICLP/SLP, 1988)

Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00. - Vladimir Lifschitz (NMR, 1988)

Logical Foundations of Deductive Databases. - Vladimir Lifschitz (IFIP Congress, 1989)

Things That Change by Themselves. - Vladimir Lifschitz; Arkady Rabinov (IJCAI, 1989)

Critical Issues in Nonmonotonic Reasoning. - David W. Etherington; Kenneth D. Forbus; Matthew L. Ginsberg; David J. Israel; Vladimir Lifschitz (KR, 1989)

Between Circumscription and Autoepistemic Logic. - Vladimir Lifschitz (KR, 1989)

The Mathematics of Nonmonotonic Reasoning (Abstract) - Vladimir Lifschitz (LICS, 1989)

Miracles in Formal Theories of Action. - Vladimir Lifschitz; Arkady Rabinov (Artif. Intell., 1989)

What Is the Inverse Method? - Vladimir Lifschitz (J. Autom. Reason., 1989)

Logic Programs with Classical Negation. - Michael Gelfond; Vladimir Lifschitz (ICLP, 1990)

Frames in the Space of Situations. - Vladimir Lifschitz (Artif. Intell., 1990)

What are the Limitations of the Situation Calculus? - Michael Gelfond; Vladimir Lifschitz; Arkady Rabinov (Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991)

Nonmonotonic Databases and Epistemic Queries. - Vladimir Lifschitz (IJCAI, 1991)

Disjective Defaults. - Michael Gelfond; Halina Przymusinska; Vladimir Lifschitz; Miroslaw Truszczynski (KR, 1991)

Toward a Metatheory of Action. - Vladimir Lifschitz (KR, 1991)

Classical Negation in Logic Programs and Disjunctive Databases. - Michael Gelfond; Vladimir Lifschitz (New Gener. Comput., 1991)

Representing Actions in Extended Logic Programming. - Michael Gelfond; Vladimir Lifschitz (JICSLP, 1992)

Answer Sets in General Nonmonotonic Reasoning (Preliminary Report). - Vladimir Lifschitz; Thomas Y. C. Woo (KR, 1992)

Editorial. - Vladimir Lifschitz (J. Log. Comput., 1992)

Restricted Monotonicity. - Vladimir Lifschitz (AAAI, 1993)

Extended Logic Programs as Autoepistemic Theories. - Vladimir Lifschitz; Grigori Schwarz (LPNMR, 1993)

Automated Reasoning About Actions: A Logic Programming Approach. - Vladimir Lifschitz; Norman McCain; Hudson Turner (ILPS, 1993)

Representing Action and Change by Logic Programs. - Michael Gelfond; Vladimir Lifschitz (J. Log. Program., 1993)

Splitting a Logic Program. - Vladimir Lifschitz; Hudson Turner (ICLP, 1994)

Actions with Indirect Effects (Preliminary Report). - G. Neelakantan Kartha; Vladimir Lifschitz (KR, 1994)

From Disjunctive Programs to Abduction. - Vladimir Lifschitz; Hudson Turner (NMELP, 1994)

Autoepistemic Logic and Introspective Circumscription. - Michael Gelfond; Vladimir Lifschitz; Halina Przymusinska; Grigori Schwarz (TARK, 1994)

Minimal Belief and Negation as Failure. - Vladimir Lifschitz (Artif. Intell., 1994)

SLDNF, Constructive Negation and Grounding. - Vladimir Lifschitz (ICLP, 1995)

Dependent Fluents. - Enrico Giunchiglia; Vladimir Lifschitz (IJCAI, 1995)

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

Loop Checking and the Wll-Founded Semantics. - Vladimir Lifschitz; Norman McCain; Teodor C. Przymusinski; Robert F. Stärk (LPNMR, 1995)

Nested Abnormality Theories. - Vladimir Lifschitz (Artif. Intell., 1995)

ECWA Made Easy. - Vladimir Lifschitz (Ann. Math. Artif. Intell., 1995)

The Logic of Common Sense. - Vladimir Lifschitz (ACM Comput. Surv., 1995)

Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning. - Vladimir Lifschitz (J. Autom. Reason., 1995)

Representing Action: Indeterminacy and Ramifications. - Enrico Giunchiglia; G. Neelakantan Kartha; Vladimir Lifschitz (Artif. Intell., 1997)

On the Logic of Causal Explanation (Research Note). - Vladimir Lifschitz (Artif. Intell., 1997)

The Sixth International Workshop on Nonmonotonic Reasoning (Workshop Report).. - Moisés Goldszmidt; Vladimir Lifschitz (AI Mag., 1997)

Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions. - Chitta Baral; Vladik Kreinovich; Vladimir Lifschitz (Ann. Math. Artif. Intell., 1997)

Two Components of an Action Language. - Vladimir Lifschitz (Ann. Math. Artif. Intell., 1997)

An Action Language Based on Causal Explanation: Preliminary Report. - Enrico Giunchiglia; Vladimir Lifschitz (AAAI/IAAI, 1998)

Situation Calculus and Causal Logic. - Vladimir Lifschitz (KR, 1998)

Action Languages. - Michael Gelfond; Vladimir Lifschitz (Electron. Trans. Artif. Intell., 1998)

Action Languages, Answer Sets, and Planning. - Vladimir Lifschitz (The Logic Programming Paradigm, 1999)

Answer Set Planning. - Vladimir Lifschitz (ICLP, 1999)

Transformations of Logic Programs Related to Causality and Planning. - Esra Erdem 001; Vladimir Lifschitz (LPNMR, 1999)

Answer Set Planning (Abstract). - Vladimir Lifschitz (LPNMR, 1999)

Representing Transition Systems by Logic Programs. - Vladimir Lifschitz; Hudson Turner (LPNMR, 1999)

Nested Expressions in Logic Programs. - Vladimir Lifschitz; Lappoon R. Tang; Hudson Turner (Ann. Math. Artif. Intell., 1999)

Wire Routing and Satisfiability Planning. - Esra Erdem 001; Vladimir Lifschitz; Martin D. F. Wong (Computational Logic, 2000)

Missionaries and Cannibals in the Causal Calculator. - Vladimir Lifschitz (KR, 2000)

Review: M. Shanahan, Solving the Frame Problem. - Vladimir Lifschitz (Artif. Intell., 2000)

Fages' Theorem and Answer Set Programming - Yuliya Babovich; Esra Erdem 001; Vladimir Lifschitz (CoRR, 2000)

Additive Fluents. - Joohyung Lee 002; Vladimir Lifschitz (Answer Set Programming, 2001)

Fages' Theorem for Programs with Nested Expressions. - Esra Erdem 001; Vladimir Lifschitz (ICLP, 2001)

On calculational proofs. - Vladimir Lifschitz (Ann. Pure Appl. Log., 2001)

Strongly equivalent logic programs. - Vladimir Lifschitz; David Pearce 001; Agustín Valverde (ACM Trans. Comput. Log., 2001)

Why Sam doesn't know calculus. - Vladimir Lifschitz (NMR, 2002)

Answer set programming and plan generation. - Vladimir Lifschitz (Artif. Intell., 2002)

Definitions in Answer Set Programming: (Extended Abstract). - Selim T. Erdogan; Vladimir Lifschitz (ICLP, 2003)

Loop Formulas for Disjunctive Logic Programs. - Joohyung Lee 002; Vladimir Lifschitz (ICLP, 2003)

Describing Additive Fluents in Action Language C+. - Joohyung Lee 002; Vladimir Lifschitz (IJCAI, 2003)

Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. - Esra Erdem 001; Vladimir Lifschitz; Luay Nakhleh; Donald Ringe (PADL, 2003)

Tight logic programs. - Esra Erdem 001; Vladimir Lifschitz (Theory Pract. Log. Program., 2003)

Almost Definite Causal Theories. - Semra Dogandag; Paolo Ferraris; Vladimir Lifschitz (LPNMR, 2004)

Representing the Zoo World and the Traffic World in the language of the Causal Calculator. - Varol Akman; Selim T. Erdogan; Joohyung Lee 002; Vladimir Lifschitz; Hudson Turner (Artif. Intell., 2004)

Nonmonotonic causal theories. - Enrico Giunchiglia; Joohyung Lee 002; Vladimir Lifschitz; Norman McCain; Hudson Turner (Artif. Intell., 2004)

What is a Logic Program. - Vladimir Lifschitz (Answer Set Programming, 2005)

Mathematical Foundations of Answer Set Programming. - Paolo Ferraris; Vladimir Lifschitz (We Will Show Them! (1), 2005)

Weight constraints as nested expressions. - Paolo Ferraris; Vladimir Lifschitz (Theory Pract. Log. Program., 2005)

A Modular Action Description Language. - Vladimir Lifschitz; Wanwan Ren (AAAI, 2006)

A Knowledge Module: Buying and Selling. - Joohyung Lee 002; Vladimir Lifschitz (AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006)

Towards a Modular Action Description Language. - Vladimir Lifschitz; Wanwan Ren (AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006)

Actions, Causation and Logic Programming. - Vladimir Lifschitz (ILP, 2006)

Actions as Special Cases. - Selim T. Erdogan; Vladimir Lifschitz (KR, 2006)

A generalization of the Lin-Zhao theorem. - Paolo Ferraris; Joohyung Lee 002; Vladimir Lifschitz (Ann. Math. Artif. Intell., 2006)

Why are there so many loop formulas? - Vladimir Lifschitz; Alexander A. Razborov (ACM Trans. Comput. Log., 2006)

Temporal phylogenetic networks and logic programming. - Esra Erdem 001; Vladimir Lifschitz; Donald Ringe (Theory Pract. Log. Program., 2006)

The Semantics of Variables in Action Descriptions. - Vladimir Lifschitz; Wanwan Ren (AAAI, 2007)

Variables in Action Descriptions: Merging C+ with ADL. - Vladimir Lifschitz; Wanwan Ren (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2007)

A New Perspective on Stable Models. - Paolo Ferraris; Joohyung Lee 002; Vladimir Lifschitz (IJCAI, 2007)

A Characterization of Strong Equivalence for Logic Programs with Variables. - Vladimir Lifschitz; David Pearce 001; Agustín Valverde (LPNMR, 2007)

A Reductive Semantics for Counting and Choice in Answer Set Programming. - Joohyung Lee 002; Vladimir Lifschitz; Ravi Palla (AAAI, 2008)

What Is Answer Set Programming?. - Vladimir Lifschitz (AAAI, 2008)

Safe Formulas in the General Theory of Stable Models (Preliminary Report). - Joohyung Lee 002; Vladimir Lifschitz; Ravi Palla (ICLP, 2008)

Twelve Definitions of a Stable Model. - Vladimir Lifschitz (ICLP, 2008)

Knowledge Representation and Classical Logic. - Vladimir Lifschitz; Leora Morgenstern; David A. Plaisted (Handbook of Knowledge Representation, 2008)

One More Decidable Class of Finitely Ground Programs. - Yuliya Lierler; Vladimir Lifschitz (ICLP, 2009)

Symmetric Splitting in the General Theory of Stable Models. - Paolo Ferraris; Joohyung Lee 002; Vladimir Lifschitz; Ravi Palla (IJCAI, 2009)

Thirteen Definitions of a Stable Model. - Vladimir Lifschitz (Fields of Logic and Computation, 2010)

Datalog Programs and Their Stable Models. - Vladimir Lifschitz (Datalog, 2010)

Translating First-Order Causal Theories into Answer Set Programming. - Vladimir Lifschitz; Fangkai Yang (JELIA, 2010)

On the Minimality of Stable Models. - Paolo Ferraris; Vladimir Lifschitz (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Yet Another Characterization of Strong Equivalence. - Alexander Bochman; Vladimir Lifschitz (ICLP (Technical Communications), 2011)

Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. - Yuliya Lierler; Vladimir Lifschitz (LPNMR, 2011)

Stable models and circumscription. - Paolo Ferraris; Joohyung Lee 002; Vladimir Lifschitz (Artif. Intell., 2011)

Two-Valued Logic Programs. - Vladimir Lifschitz (ICLP (Technical Communications), 2012)

Logic Programs with Intensional Functions. - Vladimir Lifschitz (KR, 2012)

Representing first-order causal theories by logic programs. - Paolo Ferraris; Joohyung Lee 002; Yuliya Lierler; Vladimir Lifschitz; Fangkai Yang (Theory Pract. Log. Program., 2012)

Relational theories with null values and non-herbrand stable models. - Vladimir Lifschitz; Karl Pichotta; Fangkai Yang (Theory Pract. Log. Program., 2012)

Action Language BC: Preliminary Report. - Joohyung Lee 002; Vladimir Lifschitz; Fangkai Yang (IJCAI, 2013)

Logic Programs vs. First-Order Formulas in Textual Inference. - Yuliya Lierler; Vladimir Lifschitz (IWCS, 2013)

On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics. - Amelia Harrison; Vladimir Lifschitz; Miroslaw Truszczynski (LPNMR, 2013)

On the Semantics of Gringo. - Amelia Harrison; Vladimir Lifschitz; Fangkai Yang (CoRR, 2013)

Functional completion. - Vladimir Lifschitz; Fangkai Yang (J. Appl. Non Class. Logics, 2013)

Lloyd-Topor completion and general stable models. - Vladimir Lifschitz; Fangkai Yang (Theory Pract. Log. Program., 2013)

Planning in Action Language BC while Learning Action Costs for Mobile Robots. - Piyush Khandelwal; Fangkai Yang; Matteo Leonetti; Vladimir Lifschitz; Peter Stone 001 (ICAPS, 2014)

The Semantics of Gringo and Infinitary Propositional Formulas. - Amelia J. Harrison; Vladimir Lifschitz; Fangkai Yang (KR, 2014)

Pearl's Causality in a Logical Setting. - Alexander Bochman; Vladimir Lifschitz (AAAI, 2015)

The Winograd Schema Challenge and Reasoning about Correlation. - Daniel Bailey; Amelia J. Harrison; Yuliya Lierler; Vladimir Lifschitz; Julian Michael (AAAI Spring Symposia, 2015)

Infinitary Equilibrium Logic and Strong Equivalence. - Amelia Harrison; Vladimir Lifschitz; David Pearce 001; Agustín Valverde (LPNMR, 2015)

In Memoriam: Grigori E. Mints 1939-2014. - Solomon Feferman; Vladimir Lifschitz (Bull. Symb. Log., 2015)

The Dramatic True Story of the Frame Default. - Vladimir Lifschitz (J. Philos. Log., 2015)

Abstract gringo. - Martin Gebser; Amelia Harrison; Roland Kaminski; Vladimir Lifschitz; Torsten Schaub (Theory Pract. Log. Program., 2015)

On equivalence of infinitary formulas under the stable model semantics. - Amelia Harrison; Vladimir Lifschitz; Miroslaw Truszczynski (Theory Pract. Log. Program., 2015)

Intelligent Instantiation and Supersafe Rules. - Vladimir Lifschitz (ICLP (Technical Communications), 2016)

Answer Sets and the Language of Answer Set Programming. - Vladimir Lifschitz (AI Mag., 2016)

Achievements in Answer Set Programming (Preliminary Report). - Vladimir Lifschitz (CoRR, 2016)

Stable models for infinitary formulas with extensional atoms. - Amelia Harrison; Vladimir Lifschitz (Theory Pract. Log. Program., 2016)

Proving infinitary formulas. - Amelia Harrison; Vladimir Lifschitz; Julian Michael (Theory Pract. Log. Program., 2016)

Infinitary equilibrium logic and strongly equivalent logic programs. - Amelia Harrison; Vladimir Lifschitz; David Pearce 001; Agustín Valverde (Artif. Intell., 2017)

Program Completionin the Input Language of GRINGO. - Amelia Harrison; Vladimir Lifschitz; Dhananjay Raju (CoRR, 2017)

In Memoriam: Grigori E. Mints, 1939-2014. - A. Burdman Feferman; Vladimir Lifschitz (FLAP, 2017)

BWIBots: A platform for bridging the gap between AI and human-robot interaction research. - Piyush Khandelwal; Shiqi Zhang 001; Jivko Sinapov; Matteo Leonetti; Jesse Thomason; Fangkai Yang; Ilaria Gori; Maxwell Svetlik; Priyanka Khante; Vladimir Lifschitz; J. K. Aggarwal; Raymond J. Mooney; et al. (Int. J. Robotics Res., 2017)

Program completion in the input language of GRINGO. - Amelia Harrison; Vladimir Lifschitz; Dhananjay Raju (Theory Pract. Log. Program., 2017)

Achievements in answer set programming. - Vladimir Lifschitz (Theory Pract. Log. Program., 2017)

anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). - Vladimir Lifschitz; Patrick Lühne; Torsten Schaub (CoRR, 2018)

Interview with Vladimir Lifschitz. - Vladimir Lifschitz; Torsten Schaub; Stefan Woltran (Künstliche Intell., 2018)

Answer Set Programming - Vladimir Lifschitz (Springer, 2019)

Verifying Strong Equivalence of Programs in the Input Language of gringo. - Vladimir Lifschitz; Patrick Lühne; Torsten Schaub (LPNMR, 2019)

Relating Two Dialects of Answer Set Programming. - Amelia Harrison; Vladimir Lifschitz (Theory Pract. Log. Program., 2019)

Towards Verifying Logic Programs in the Input Language of clingo. - Vladimir Lifschitz; Patrick Lühne; Torsten Schaub (Fields of Logic and Computation III, 2020)

Verifying Tight Logic Programs with anthem and vampire. - Jorge Fandinno; Vladimir Lifschitz; Patrick Lühne; Torsten Schaub (Theory Pract. Log. Program., 2020)

Transforming Gringo Rules into Formulas in a Natural Way. - Vladimir Lifschitz (JELIA, 2021)

Here and There with Arithmetic. - Vladimir Lifschitz (Theory Pract. Log. Program., 2021)

Calculational Proofs. - Vladimir Lifschitz (Edsger Wybe Dijkstra, 2022)

Translating Definitions into the Language of Logic Programming: A Case Study. - Vladimir Lifschitz (ICLP Workshops, 2022)

Verification of Locally Tight Programs. - Jorge Fandinno; Vladimir Lifschitz (CoRR, 2022)

Strong Equivalence of Logic Programs with Counting. - Vladimir Lifschitz (Theory Pract. Log. Program., 2022)

On Heuer's Procedure for Verifying Strong Equivalence. - Jorge Fandinno; Vladimir Lifschitz (JELIA, 2023)

Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs. - Jorge Fandinno; Vladimir Lifschitz (KR, 2023)

Safe Formulas in the General Theory of Stable Models. - Joohyung Lee 002; Vladimir Lifschitz; Ravi Palla (CoRR, 2023)

Causal Laws and Multi-Valued Fluents. - Enrico Giunchiglia; Joohyung Lee 002; Vladimir Lifschitz; Hudson Turner (CoRR, 2023)

External Behavior of a Logic Program and Verification of Refactoring. - Jorge Fandinno; Zachary Hansen; Yuliya Lierler; Vladimir Lifschitz; Nathan Temple (Theory Pract. Log. Program., 2023)

On Program Completion, with an Application to the Sum and Product Puzzle. - Vladimir Lifschitz (Theory Pract. Log. Program., 2023)

Positive Dependency Graphs Revisited. - Jorge Fandinno; Vladimir Lifschitz (Theory Pract. Log. Program., 2023)

Deductive Systems for Logic Programs with Counting: Preliminary Report. - Jorge Fandinno; Vladimir Lifschitz (LPNMR, 2024)

Locally Tight Programs. - Jorge Fandinno; Vladimir Lifschitz; Nathan Temple (Theory Pract. Log. Program., 2024)

An Experiment with Anthem: Semantic Equivalence of Tiling Programs. - Vladimir Lifschitz (JELIA (1), 2025)

Generalizing the Syntax of Terms in Mini-gringo. - Vladimir Lifschitz (JELIA (1), 2025)

A Community-driven vision for a new Knowledge Resource for AI. - Vinay K. Chaudhri; Chaitan Baru; Brandon Bennett; Mehul Bhatt; Darion Cassel; Anthony G. Cohn 001; Rina Dechter; Esra Erdem 001; David A. Ferrucci; Kenneth D. Forbus; Gregory Gelfond; Michael R. Genesereth; et al. (CoRR, 2025)

Anthem 2.0: Automated Reasoning for Answer Set Programming. - Jorge Fandinno; Christoph Glinzer; Zachary Hansen; Jan Heuer; Yuliya Lierler; Vladimir Lifschitz; Torsten Schaub; Tobias Stolzmann (CoRR, 2025)