Your query matched 81 publications
- 2010 Stable Models and Circumscription
-
Paolo Ferraris, Joohyung Lee, and Vladimir Lifschitz
- 2009One More Decidable Class of Finitely Ground Programs
-
Yuliya Lierler and Vladimir Lifschitz
- 2009Symmetric Splitting in the General Theory of Stable Models
-
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, and Ravi Palla
- 2008 Safe Formulas in the General Theory of Stable Models (preliminary report)
-
Joohyung Lee, Vladimir Lifschitz, and Ravi Palla
- 2008A Reductive Semantics for Counting and Choice in Answer Set Programming
-
Joohyung Lee, Vladimir Lifschitz, and Ravi Palla
- 2008Knowledge Representation and Classical Logic
-
Vladimir Lifschitz, Leora Morgenstern, and David Plaisted
- 2008Logic Programs vs. First-order Formulas in Textual Inference
-
Yuliya Lierler and Vladimir Lifschitz
- 2008Twelve Definitions of a Stable Model
-
Vladimir Lifschitz
- 2008What Is Answer Set Programming?
-
Vladimir Lifschitz
- 2007A Characterization of Strong Equivalence for Logic Programs with Variables
-
Vladimir Lifschitz, David Pearce, and Agustin Valverde
- 2007A New Perspective on Stable Models
-
Paolo Ferraris, Joohyung Lee, and Vladimir Lifschitz
- 2007The Semantics of Variables in Action Descriptions
-
Vladimir Lifschitz and Wanwan Ren
- 2007Variables in Action Descriptions: Merging C+ with ADL
-
Vladimir Lifschitz and Wanwan Ren
- 2007Why the Monkey Needs the Box: a Serious Look at a Toy Domain
-
Selim T. Erdoğan, Paolo Ferraris, Vladimir Lifschitz, and Wanwan Ren
- 2006A Generalization of the Lin-Zhao Theorem
-
Paolo Ferraris, J. Lee, and Vladimir Lifschitz
- 2006A Knowledge Module: Buying and Selling
-
J. Lee and Vladimir Lifschitz
- 2006A Modular Action Description Language
-
Vladimir Lifschitz and Wanwan Ren
- 2006Actions as Special Cases
-
Selim T. Erdoğan and Vladimir Lifschitz
- 2006Temporal Phylogenetic Networks and Logic Programming
-
E. Erdem, Vladimir Lifschitz, and D. Ringe
- 2006Why Are There So Many Loop Formulas?
-
Vladimir Lifschitz and Alexander Razborov
- 2005Mathematical Foundations of Answer Set Programming
-
Paolo Ferraris and Vladimir Lifschitz
- 2005Weight Constraints as Nested Expressions
-
Paolo Ferraris and Vladimir Lifschitz
- 2004Almost Definite Causal Theories
-
Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz, and Semra Doğandağ
- 2004Definitions in Answer Set Programming
-
Selim T. Erdoğan and Vladimir Lifschitz
- 2004Irrelevant Actions in Plan Generation (extended abstract)
-
Vladimir Lifschitz and Wanwan Ren
- 2004Nonmonotonic Causal Theories
-
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, and Hudson Turner
- 2004Representing the Zoo World and the Traffic World in the language of the Causal Calculator
-
Varol Akman, Selim T. Erdoğan, Joohyung Lee, Vladimir Lifschitz, and Hudson Turner
- 2003Describing Additive Fluents in Action Language C
-
Joohyung Lee and Vladimir Lifschitz
- 2003Loop Formulas for Disjunctive Logic Programs
-
Joohyung Lee and Vladimir Lifschitz
- 2003Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming
-
Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, and Donald Ringe
- 2003Reinforcing a Claim in Commonsense Reasoning
-
Jonathan Campbell and Vladimir Lifschitz
- 2003Tight Logic Programs
-
Esra Erdem and Vladimir Lifschitz
- 2002Answer Set Programming and Plan Generation
-
Vladimir Lifschitz
- 2002On Calculational Proofs
-
Vladimir Lifschitz
- 2001Additive Fluents
-
Joohyung Lee and Vladimir Lifschitz
- 2001Fages' Theorem for Programs with Nested Expressions
-
Esra Erdem and Vladimir Lifschitz
- 2001Strongly Equivalent Logic Programs
-
Vladimir Lifschitz, David Pearce, and Agustin Valverde
- 2000Book review: M. Shanahan, Solving the Frame Problem
-
Vladimir Lifschitz
- 2000Fages' Theorem and Answer Set Programming
-
Yuliya Lierler, Esra Erdem, and Vladimir Lifschitz
- 2000Getting to the Airport: the Oldest Planning Problem in AI
-
Vladimir Lifschitz, Norman McCain, Emilio Remolina, and Armando Tacchella
- 2000Missionaries and Cannibals in the Causal Calculator
-
Vladimir Lifschitz
- 2000Wire Routing and Satisfiability Planning
-
Esra Erdem, Vladimir Lifschitz, and Martin D. F. Wong
- 1999Action Languages, Answer Sets and Planning
-
Vladimir Lifschitz
- 1999Action Languages, Temporal Action Logics and the Situation Calculus
-
Enrico Giunchiglia and Vladimir Lifschitz
- 1999Answer Set Planning
-
Vladimir Lifschitz
- 1999Nested Expressions in Logic Programs
-
Vladimir Lifschitz, Lappoon R. Tang, and Hudson Turner
- 1999Representing Transition Systems by Logic Programs
-
Vladimir Lifschitz and Hudson Turner
- 1999Success of Default Logic
-
Vladimir Lifschitz
- 1999Transformations of Logic Programs Related to Causality and Planning
-
Esra Erdem and Vladimir Lifschitz
- 1998Action Languages
-
Michael Gelfond and Vladimir Lifschitz
- 1998An Action Language Based on Causal Explanation: preliminary report
-
Enrico Giunchiglia and Vladimir Lifschitz
- 1998Situation Calculus and Causal Logic
-
Vladimir Lifschitz
- 1997On the Logic of Causal Explanation
-
Vladimir Lifschitz
- 1997Representing Action: Indeterminacy and Ramifications
-
Enrico Giunchiglia, G. Neelakantan Kartha, and Vladimir Lifschitz
- 1997Two Components of an Action Language
-
Vladimir Lifschitz
- 1996Foundations of Logic Programming
-
Vladimir Lifschitz
- 1995A Simple Formalization of Actions Using Circumscription
-
G. Neelakantan Kartha and Vladimir Lifschitz
- 1995Dependent Fluents
-
Enrico Giunchiglia and Vladimir Lifschitz
- 1995ECWA Made Easy
-
Vladimir Lifschitz
- 1995From Disjunctive Programs to Abduction
-
Vladimir Lifschitz and Hudson Turner
- 1995Loop Checking and the Well-founded Semantics
-
Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, and Robert F. Staerk
- 1995Nested Abnormality Theories
-
Vladimir Lifschitz
- 1995SLDNF, Constructive Negation and Grounding
-
Vladimir Lifschitz
- 1995The Logic of Common Sense
-
Vladimir Lifschitz
- 1994Actions with Indirect Effects (preliminary report)
-
G. Neelakantan Kartha and Vladimir Lifschitz
- 1994Autoepistemic Logic and Introspective Circumscription
-
Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, and Grigori Schwarz
- 1994Circumscription
-
Vladimir Lifschitz
- 1994Minimal Belief and Negation as Failure
-
Vladimir Lifschitz
- 1994Splitting a Logic Program
-
Vladimir Lifschitz and Hudson Turner
- 1993Extended Logic Programs as Autoepistemic Theories
-
Vladimir Lifschitz and Grigori Schwarz
- 1993Representing Action and Change by Logic Programs
-
Michael Gelfond and Vladimir Lifschitz
- 1993Restricted Monotonicity
-
Vladimir Lifschitz
- 1991Answer Sets in General Nonmonotonic Reasoning (preliminary report)
-
Vladimir Lifschitz and Thomas Y. C. Woo
- 1991Classical Negation in Logic Programs and Disjunctive Databases
-
Michael Gelfond and Vladimir Lifschitz
- 1991Disjunctive Defaults
-
Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, and Miroslaw Truszczynski
- 1991Editorial
-
Vladimir Lifschitz
- 1991Towards a Metatheory of Action
-
Vladimir Lifschitz
- 1990On Open Defaults
-
Vladimir Lifschitz
- 1989Benchmark Problems for Formal Nonmonotonic Reasoning
-
Vladimir Lifschitz
- 1988The Stable Model Semantics for Logic Programming
-
Michael Gelfond and Vladimir Lifschitz
- 1987On the Semantics of STRIPS
-
Vladimir Lifschitz
Search again
