Vladimir Lifschitz

According to our database, Vladimir Lifschitz authored at least 162 papers between 1981 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Deductive Systems for Logic Programs with Counting: Preliminary Report.

Jorge Fandinno, Vladimir Lifschitz

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

2023

Positive Dependency Graphs Revisited.

Jorge Fandinno, Vladimir Lifschitz

Theory Pract. Log. Program., September, 2023

On Program Completion, with an Application to the Sum and Product Puzzle.

Vladimir Lifschitz

Theory Pract. Log. Program., July, 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., July, 2023

Causal Laws and Multi-Valued Fluents.

Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Hudson Turner

CoRR, 2023

Safe Formulas in the General Theory of Stable Models.

Joohyung Lee, Vladimir Lifschitz, Ravi Palla

CoRR, 2023

Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs.

Jorge Fandinno, Vladimir Lifschitz

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

On Heuer's Procedure for Verifying Strong Equivalence.

Jorge Fandinno, Vladimir Lifschitz

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022

Strong Equivalence of Logic Programs with Counting.

Vladimir Lifschitz

Theory Pract. Log. Program., 2022

Verification of Locally Tight Programs.

Jorge Fandinno, Vladimir Lifschitz

CoRR, 2022

Translating Definitions into the Language of Logic Programming: A Case Study.

Vladimir Lifschitz

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Calculational Proofs.

Vladimir Lifschitz

Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

2021

Here and There with Arithmetic.

Vladimir Lifschitz

Theory Pract. Log. Program., 2021

Transforming Gringo Rules into Formulas in a Natural Way.

Vladimir Lifschitz

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

2020

Verifying Tight Logic Programs with anthem and vampire.

Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub

Theory Pract. Log. Program., 2020

Towards Verifying Logic Programs in the Input Language of clingo.

Vladimir Lifschitz, Patrick Lühne, Torsten Schaub

Proceedings of the Fields of Logic and Computation III, 2020

2019

Relating Two Dialects of Answer Set Programming.

Amelia Harrison, Vladimir Lifschitz

Theory Pract. Log. Program., 2019

Verifying Strong Equivalence of Programs in the Input Language of gringo.

Vladimir Lifschitz, Patrick Lühne, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Answer Set Programming

Vladimir Lifschitz

Springer, ISBN: 978-3-030-24657-0, 2019

2018

Interview with Vladimir Lifschitz.

Vladimir Lifschitz, Torsten Schaub, Stefan Woltran

Künstliche Intell., 2018

anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report).

Vladimir Lifschitz, Patrick Lühne, Torsten Schaub

CoRR, 2018

2017

Achievements in answer set programming.

Vladimir Lifschitz

Theory Pract. Log. Program., 2017

Program completion in the input language of GRINGO.

Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju

Theory Pract. Log. Program., 2017

BWIBots: A platform for bridging the gap between AI and human-robot interaction research.

Piyush Khandelwal, Shiqi Zhang, Jivko Sinapov, Matteo Leonetti, Jesse Thomason, Fangkai Yang, Ilaria Gori, Maxwell Svetlik, Priyanka Khante, Vladimir Lifschitz, J. K. Aggarwal, Raymond J. Mooney, Peter Stone

Int. J. Robotics Res., 2017

In Memoriam: Grigori E. Mints, 1939-2014.

A. Burdman Feferman, Vladimir Lifschitz

FLAP, 2017

Program Completionin the Input Language of GRINGO.

Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju

CoRR, 2017

Infinitary equilibrium logic and strongly equivalent logic programs.

Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde

Artif. Intell., 2017

2016

Proving infinitary formulas.

Amelia Harrison, Vladimir Lifschitz, Julian Michael

Theory Pract. Log. Program., 2016

Stable models for infinitary formulas with extensional atoms.

Amelia Harrison, Vladimir Lifschitz

Theory Pract. Log. Program., 2016

Achievements in Answer Set Programming (Preliminary Report).

Vladimir Lifschitz

CoRR, 2016

Answer Sets and the Language of Answer Set Programming.

Vladimir Lifschitz

AI Mag., 2016

Intelligent Instantiation and Supersafe Rules.

Vladimir Lifschitz

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015

On equivalence of infinitary formulas under the stable model semantics.

Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski

Theory Pract. Log. Program., 2015

Abstract gringo.

Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub

Theory Pract. Log. Program., 2015

The Dramatic True Story of the Frame Default.

Vladimir Lifschitz

J. Philos. Log., 2015

In Memoriam: Grigori E. Mints 1939-2014.

Solomon Feferman, Vladimir Lifschitz

Bull. Symb. Log., 2015

Infinitary Equilibrium Logic and Strong Equivalence.

Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

The Winograd Schema Challenge and Reasoning about Correlation.

Daniel Bailey, Amelia J. Harrison, Yuliya Lierler, Vladimir Lifschitz, Julian Michael

Proceedings of the 2015 AAAI Spring Symposia, 2015

Pearl's Causality in a Logical Setting.

Alexander Bochman, Vladimir Lifschitz

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

The Semantics of Gringo and Infinitary Propositional Formulas.

Amelia J. Harrison, Vladimir Lifschitz, Fangkai Yang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Planning in Action Language BC while Learning Action Costs for Mobile Robots.

Piyush Khandelwal, Fangkai Yang, Matteo Leonetti, Vladimir Lifschitz, Peter Stone

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013

Lloyd-Topor completion and general stable models.

Vladimir Lifschitz, Fangkai Yang

Theory Pract. Log. Program., 2013

Functional completion.

Vladimir Lifschitz, Fangkai Yang

J. Appl. Non Class. Logics, 2013

On the Semantics of Gringo.

Amelia Harrison, Vladimir Lifschitz, Fangkai Yang

CoRR, 2013

On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics.

Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Logic Programs vs. First-Order Formulas in Textual Inference.

Yuliya Lierler, Vladimir Lifschitz

Proceedings of the 10th International Conference on Computational Semantics, 2013

Action Language BC: Preliminary Report.

Joohyung Lee, Vladimir Lifschitz, Fangkai Yang

Proceedings of the IJCAI 2013, 2013

2012

Relational theories with null values and non-herbrand stable models.

Vladimir Lifschitz, Karl Pichotta, Fangkai Yang

Theory Pract. Log. Program., 2012

Representing first-order causal theories by logic programs.

Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang

Theory Pract. Log. Program., 2012

Logic Programs with Intensional Functions.

Vladimir Lifschitz

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Two-Valued Logic Programs.

Vladimir Lifschitz

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

Stable models and circumscription.

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz

Artif. Intell., 2011

Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations.

Yuliya Lierler, Vladimir Lifschitz

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Yet Another Characterization of Strong Equivalence.

Alexander Bochman, Vladimir Lifschitz

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

On the Minimality of Stable Models.

Paolo Ferraris, Vladimir Lifschitz

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

Translating First-Order Causal Theories into Answer Set Programming.

Vladimir Lifschitz, Fangkai Yang

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Datalog Programs and Their Stable Models.

Vladimir Lifschitz

Proceedings of the Datalog Reloaded - First International Workshop, 2010

Thirteen Definitions of a Stable Model.

Vladimir Lifschitz

Proceedings of the Fields of Logic and Computation, 2010

2009

Symmetric Splitting in the General Theory of Stable Models.

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla

Proceedings of the IJCAI 2009, 2009

One More Decidable Class of Finitely Ground Programs.

Yuliya Lierler, Vladimir Lifschitz

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Knowledge Representation and Classical Logic.

Vladimir Lifschitz, Leora Morgenstern, David A. Plaisted

Proceedings of the Handbook of Knowledge Representation, 2008

Twelve Definitions of a Stable Model.

Vladimir Lifschitz

Proceedings of the Logic Programming, 24th International Conference, 2008

Safe Formulas in the General Theory of Stable Models (Preliminary Report).

Joohyung Lee, Vladimir Lifschitz, Ravi Palla

Proceedings of the Logic Programming, 24th International Conference, 2008

What Is Answer Set Programming?.

Vladimir Lifschitz

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

A Reductive Semantics for Counting and Choice in Answer Set Programming.

Joohyung Lee, Vladimir Lifschitz, Ravi Palla

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

A Characterization of Strong Equivalence for Logic Programs with Variables.

Vladimir Lifschitz, David Pearce, Agustín Valverde

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

A New Perspective on Stable Models.

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz

Proceedings of the IJCAI 2007, 2007

Variables in Action Descriptions: Merging C+ with ADL.

Vladimir Lifschitz, Wanwan Ren

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

The Semantics of Variables in Action Descriptions.

Vladimir Lifschitz, Wanwan Ren

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Temporal phylogenetic networks and logic programming.

Esra Erdem, Vladimir Lifschitz, Donald Ringe

Theory Pract. Log. Program., 2006

Why are there so many loop formulas?

Vladimir Lifschitz, Alexander A. Razborov

ACM Trans. Comput. Log., 2006

A generalization of the Lin-Zhao theorem.

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz

Ann. Math. Artif. Intell., 2006

Actions as Special Cases.

Selim T. Erdogan, Vladimir Lifschitz

Proceedings of the Proceedings, 2006

Actions, Causation and Logic Programming.

Vladimir Lifschitz

Proceedings of the Inductive Logic Programming, 16th International Conference, 2006

Towards a Modular Action Description Language.

Vladimir Lifschitz, Wanwan Ren

Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006

A Knowledge Module: Buying and Selling.

Joohyung Lee, Vladimir Lifschitz

Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006

A Modular Action Description Language.

Vladimir Lifschitz, Wanwan Ren

Proceedings of the Proceedings, 2006

2005

Weight constraints as nested expressions.

Paolo Ferraris, Vladimir Lifschitz

Theory Pract. Log. Program., 2005

Mathematical Foundations of Answer Set Programming.

Paolo Ferraris, Vladimir Lifschitz

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

What is a Logic Program.

Vladimir Lifschitz

Proceedings of the Answer Set Programming, 2005

2004

Nonmonotonic causal theories.

Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner

Artif. Intell., 2004

Representing the Zoo World and the Traffic World in the language of the Causal Calculator.

Varol Akman, Selim T. Erdogan, Joohyung Lee, Vladimir Lifschitz, Hudson Turner

Artif. Intell., 2004

Almost Definite Causal Theories.

Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

2003

Tight logic programs.

Esra Erdem, Vladimir Lifschitz

Theory Pract. Log. Program., 2003

Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming.

Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

Describing Additive Fluents in Action Language C+.

Joohyung Lee, Vladimir Lifschitz

Proceedings of the IJCAI-03, 2003

Loop Formulas for Disjunctive Logic Programs.

Joohyung Lee, Vladimir Lifschitz

Proceedings of the Logic Programming, 19th International Conference, 2003

Definitions in Answer Set Programming: (Extended Abstract).

Selim T. Erdogan, Vladimir Lifschitz

Proceedings of the Logic Programming, 19th International Conference, 2003

2002

Answer set programming and plan generation.

Vladimir Lifschitz

Artif. Intell., 2002

Why Sam doesn't know calculus.

Vladimir Lifschitz

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

2001

Strongly equivalent logic programs.

Vladimir Lifschitz, David Pearce, Agustín Valverde

ACM Trans. Comput. Log., 2001

On calculational proofs.

Vladimir Lifschitz

Ann. Pure Appl. Log., 2001

Fages' Theorem for Programs with Nested Expressions.

Esra Erdem, Vladimir Lifschitz

Proceedings of the Logic Programming, 17th International Conference, 2001

Additive Fluents.

Joohyung Lee, Vladimir Lifschitz

Proceedings of the Answer Set Programming, 2001

2000

Fages' Theorem and Answer Set Programming

Yuliya Babovich, Esra Erdem, Vladimir Lifschitz

CoRR, 2000

Review: M. Shanahan, Solving the Frame Problem.

Vladimir Lifschitz

Artif. Intell., 2000

Missionaries and Cannibals in the Causal Calculator.

Vladimir Lifschitz

Proceedings of the KR 2000, 2000

Wire Routing and Satisfiability Planning.

Esra Erdem, Vladimir Lifschitz, Martin D. F. Wong

Proceedings of the Computational Logic, 2000

1999

Nested Expressions in Logic Programs.

Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner

Ann. Math. Artif. Intell., 1999

Representing Transition Systems by Logic Programs.

Vladimir Lifschitz, Hudson Turner

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Answer Set Planning (Abstract).

Vladimir Lifschitz

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Transformations of Logic Programs Related to Causality and Planning.

Esra Erdem, Vladimir Lifschitz

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Answer Set Planning.

Vladimir Lifschitz

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Action Languages, Answer Sets, and Planning.

Vladimir Lifschitz

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998

Action Languages.

Michael Gelfond, Vladimir Lifschitz

Electron. Trans. Artif. Intell., 1998

Situation Calculus and Causal Logic.

Vladimir Lifschitz

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

An Action Language Based on Causal Explanation: Preliminary Report.

Enrico Giunchiglia, Vladimir Lifschitz

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Two Components of an Action Language.

Vladimir Lifschitz

Ann. Math. Artif. Intell., 1997

Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions.

Chitta Baral, Vladik Kreinovich, Vladimir Lifschitz

Ann. Math. Artif. Intell., 1997

The Sixth International Workshop on Nonmonotonic Reasoning (Workshop Report)..

Moisés Goldszmidt, Vladimir Lifschitz

AI Mag., 1997

On the Logic of Causal Explanation (Research Note).

Vladimir Lifschitz

Artif. Intell., 1997

Representing Action: Indeterminacy and Ramifications.

Enrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz

Artif. Intell., 1997

1995

Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning.

Vladimir Lifschitz

J. Autom. Reason., 1995

The Logic of Common Sense.

Vladimir Lifschitz

ACM Comput. Surv., 1995

ECWA Made Easy.

Vladimir Lifschitz

Ann. Math. Artif. Intell., 1995

Nested Abnormality Theories.

Vladimir Lifschitz

Artif. Intell., 1995

Loop Checking and the Wll-Founded Semantics.

Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. Stärk

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

A Simple Formalization of Actions Using Circumscription.

G. Neelakantan Kartha, Vladimir Lifschitz

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Dependent Fluents.

Enrico Giunchiglia, Vladimir Lifschitz

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

SLDNF, Constructive Negation and Grounding.

Vladimir Lifschitz

Proceedings of the Logic Programming, 1995

1994

Minimal Belief and Negation as Failure.

Vladimir Lifschitz

Artif. Intell., 1994

Autoepistemic Logic and Introspective Circumscription.

Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz

Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994

From Disjunctive Programs to Abduction.

Vladimir Lifschitz, Hudson Turner

Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994

Actions with Indirect Effects (Preliminary Report).

G. Neelakantan Kartha, Vladimir Lifschitz

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Splitting a Logic Program.

Vladimir Lifschitz, Hudson Turner

Proceedings of the Logic Programming, 1994

1993

Representing Action and Change by Logic Programs.

Michael Gelfond, Vladimir Lifschitz

J. Log. Program., 1993

Automated Reasoning About Actions: A Logic Programming Approach.

Vladimir Lifschitz, Norman McCain, Hudson Turner

Proceedings of the Logic Programming, 1993

Extended Logic Programs as Autoepistemic Theories.

Vladimir Lifschitz, Grigori Schwarz

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Restricted Monotonicity.

Vladimir Lifschitz

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992

Editorial.

Vladimir Lifschitz

J. Log. Comput., 1992

Answer Sets in General Nonmonotonic Reasoning (Preliminary Report).

Vladimir Lifschitz, Thomas Y. C. Woo

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Representing Actions in Extended Logic Programming.

Michael Gelfond, Vladimir Lifschitz

Proceedings of the Logic Programming, 1992

1991

Classical Negation in Logic Programs and Disjunctive Databases.

Michael Gelfond, Vladimir Lifschitz

New Gener. Comput., 1991

Toward a Metatheory of Action.

Vladimir Lifschitz

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Disjective Defaults.

Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Nonmonotonic Databases and Epistemic Queries.

Vladimir Lifschitz

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

What are the Limitations of the Situation Calculus?

Michael Gelfond, Vladimir Lifschitz, Arkady Rabinov

Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

1990

Frames in the Space of Situations.

Vladimir Lifschitz

Artif. Intell., 1990

Logic Programs with Classical Negation.

Michael Gelfond, Vladimir Lifschitz

Proceedings of the Logic Programming, 1990

1989

What Is the Inverse Method?

Vladimir Lifschitz

J. Autom. Reason., 1989

Miracles in Formal Theories of Action.

Vladimir Lifschitz, Arkady Rabinov

Artif. Intell., 1989

The Mathematics of Nonmonotonic Reasoning (Abstract)

Vladimir Lifschitz

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

Between Circumscription and Autoepistemic Logic.

Vladimir Lifschitz

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

Critical Issues in Nonmonotonic Reasoning.

David W. Etherington, Kenneth D. Forbus, Matthew L. Ginsberg, David J. Israel, Vladimir Lifschitz

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

Things That Change by Themselves.

Vladimir Lifschitz, Arkady Rabinov

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

Logical Foundations of Deductive Databases.

Vladimir Lifschitz

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00.

Vladimir Lifschitz

Proceedings of the Non-Monotonic Reasoning, 1988

The Stable Model Semantics for Logic Programming.

Michael Gelfond, Vladimir Lifschitz

Proceedings of the Logic Programming, 1988

Compiling Circumscriptive Theories into Logic Programs.

Michael Gelfond, Vladimir Lifschitz

Proceedings of the 7th National Conference on Artificial Intelligence, 1988

On the Declarative Semantics of Logic Programs with Negation.

Vladimir Lifschitz

Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987

Formal Theories of Action (Preliminary Report).

Vladimir Lifschitz

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

Circumscriptive Theories: A Logic-based Framework for Knowledge Representation (Preliminary Report).

Vladimir Lifschitz

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986

On the Satisfiability of Circumscription.

Vladimir Lifschitz

Artif. Intell., 1986

Pointwise Circumscription: Preliminary Report.

Vladimir Lifschitz

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985

Closed-World Databases and Circumscription.

Vladimir Lifschitz

Artif. Intell., 1985

Computing Circumscription.

Vladimir Lifschitz

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984

On Verification of Programs With Goto Statements.

Vladimir Lifschitz

Inf. Process. Lett., 1984

Some Results on Circumscription.

Vladimir Lifschitz

Proceedings of the Non-Monotonic Reasoning Workshop, 1984

1983

The Worst and the Most Probable Performance of a Class of Set-Covering Algorithms.

Vladimir Lifschitz, Boris G. Pittel

SIAM J. Comput., 1983

A Note on the Complexity of a Partition Algorithm.

Vladimir Lifschitz, Leon Pesotchinsky

Inf. Process. Lett., 1983

1982

Constructive Assertions in an Extension of Classical Mathematics.

Vladimir Lifschitz

J. Symb. Log., 1982

1981

The Number of Increasing Subsequences of the Random Permutation.

Vladimir Lifschitz, Boris G. Pittel

J. Comb. Theory A, 1981