Vladimir Lifschitz

Vladimir Lifschitz, Fangkai Yang: Lloyd-Topor Completion and General Stable Models. CoRR abs/1301.1394 (2013)

Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang: Representing first-order causal theories by logic programs. TPLP 12(3): 383-412 (2012)

Vladimir Lifschitz, Karl Pichotta, Fangkai Yang: Relational theories with null values and non-herbrand stable models. TPLP 12(4-5): 565-582 (2012)

Vladimir Lifschitz: Two-Valued Logic Programs. ICLP (Technical Communications) 2012: 259-266

Vladimir Lifschitz: Logic Programs with Intensional Functions. KR 2012

Vladimir Lifschitz, Karl Pichotta, Fangkai Yang: Relational Theories with Null Values and Non-Herbrand Stable Models. CoRR abs/1210.4130 (2012)

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz: Stable models and circumscription. Artif. Intell. 175(1): 236-263 (2011)

Paolo Ferraris, Vladimir Lifschitz: On the Minimality of Stable Models. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 64-73

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

Yuliya Lierler, Vladimir Lifschitz: Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. LPNMR 2011: 205-210

Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang: Representing First-Order Causal Theories by Logic Programs. CoRR abs/1103.4558 (2011)

Vladimir Lifschitz: Thirteen Definitions of a Stable Model. Fields of Logic and Computation 2010: 488-503

Vladimir Lifschitz: Datalog Programs and Their Stable Models. Datalog 2010: 78-87

Vladimir Lifschitz, Fangkai Yang: Translating First-Order Causal Theories into Answer Set Programming. JELIA 2010: 247-259

Yuliya Lierler, Vladimir Lifschitz: One More Decidable Class of Finitely Ground Programs. ICLP 2009: 489-493

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla: Symmetric Splitting in the General Theory of Stable Models. IJCAI 2009: 797-803

Joohyung Lee, Vladimir Lifschitz, Ravi Palla: A Reductive Semantics for Counting and Choice in Answer Set Programming. AAAI 2008: 472-479

Vladimir Lifschitz: What Is Answer Set Programming?. AAAI 2008: 1594-1597

Vladimir Lifschitz: Twelve Definitions of a Stable Model. ICLP 2008: 37-51

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

Vladimir Lifschitz, Wanwan Ren: The Semantics of Variables in Action Descriptions. AAAI 2007: 1025-1030

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

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz: A New Perspective on Stable Models. IJCAI 2007: 372-379

Vladimir Lifschitz, David Pearce, Agustín Valverde: A Characterization of Strong Equivalence for Logic Programs with Variables. LPNMR 2007: 188-200

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz: A generalization of the Lin-Zhao theorem. Ann. Math. Artif. Intell. 47(1-2): 79-101 (2006)

Vladimir Lifschitz, Alexander A. Razborov: Why are there so many loop formulas? ACM Trans. Comput. Log. 7(2): 261-268 (2006)

Esra Erdem, Vladimir Lifschitz, Donald Ringe: Temporal phylogenetic networks and logic programming. TPLP 6(5): 539-558 (2006)

Vladimir Lifschitz, Wanwan Ren: A Modular Action Description Language. AAAI 2006: 853-859

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

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

Vladimir Lifschitz: Actions, Causation and Logic Programming. ILP 2006: 1

Selim T. Erdogan, Vladimir Lifschitz: Actions as Special Cases. KR 2006: 377-388

Paolo Ferraris, Vladimir Lifschitz: Weight constraints as nested expressions. TPLP 5(1-2): 45-74 (2005)

Vladimir Lifschitz: What is a Logic Program. Answer Set Programming 2005

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

Esra Erdem, Vladimir Lifschitz, Donald Ringe: Temporal Phylogenetic Networks and Logic Programming. CoRR abs/cs/0508129 (2005)

Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner: Nonmonotonic causal theories. Artif. Intell. 153(1-2): 49-104 (2004)

Varol Akman, Selim T. Erdogan, Joohyung Lee, Vladimir Lifschitz, Hudson Turner: Representing the Zoo World and the Traffic World in the language of the Causal Calculator. Artif. Intell. 153(1-2): 105-140 (2004)

Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz: Almost Definite Causal Theories. LPNMR 2004: 74-86

Bart Demoen, Vladimir Lifschitz (Eds.): Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings. Lecture Notes in Computer Science 3132, Springer 2004, isbn 3-540-22671-0

Vladimir Lifschitz, Ilkka Niemelä (Eds.): Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings. Lecture Notes in Computer Science 2923, Springer 2004, isbn 3-540-20721-X

Esra Erdem, Vladimir Lifschitz: Tight logic programs. TPLP 3(4-5): 499-518 (2003)

Joohyung Lee, Vladimir Lifschitz: Loop Formulas for Disjunctive Logic Programs. ICLP 2003: 451-465

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

Joohyung Lee, Vladimir Lifschitz: Describing Additive Fluents in Action Language C+. IJCAI 2003: 1079-1084

Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe: Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. PADL 2003: 160-176

Esra Erdem, Vladimir Lifschitz: Tight Logic Programs. CoRR cs.AI/0302038 (2003)

Paolo Ferraris, Vladimir Lifschitz: Weight Constraints as Nested Expressions. CoRR cs.AI/0312045 (2003)

Vladimir Lifschitz: Answer set programming and plan generation. Artif. Intell. 138(1-2): 39-54 (2002)

Vladimir Lifschitz: Why Sam doesn't know calculus. NMR 2002: 5

Vladimir Lifschitz: On calculational proofs. Ann. Pure Appl. Logic 113(1-3): 207-224 (2001)

Vladimir Lifschitz, David Pearce, Agustín Valverde: Strongly equivalent logic programs. ACM Trans. Comput. Log. 2(4): 526-541 (2001)

Joohyung Lee, Vladimir Lifschitz: Additive Fluents. Answer Set Programming 2001

Esra Erdem, Vladimir Lifschitz: Fages' Theorem for Programs with Nested Expressions. ICLP 2001: 242-254

Vladimir Lifschitz: Review: M. Shanahan, Solving the Frame Problem. Artif. Intell. 123(1-2): 265-268 (2000)

Esra Erdem, Vladimir Lifschitz, Martin D. F. Wong: Wire Routing and Satisfiability Planning. Computational Logic 2000: 822-836

Vladimir Lifschitz: Missionaries and Cannibals in the Causal Calculator. KR 2000: 85-96

Yuliya Babovich, Esra Erdem, Vladimir Lifschitz: Fages' Theorem and Answer Set Programming. CoRR cs.AI/0003042 (2000)

Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner: Nested Expressions in Logic Programs. Ann. Math. Artif. Intell. 25(3-4): 369-389 (1999)

Vladimir Lifschitz: Answer Set Planning. ICLP 1999: 23-37

Vladimir Lifschitz, Hudson Turner: Representing Transition Systems by Logic Programs. LPNMR 1999: 92-106

Esra Erdem, Vladimir Lifschitz: Transformations of Logic Programs Related to Causality and Planning. LPNMR 1999: 107-116

Vladimir Lifschitz: Answer Set Planning (Abstract). LPNMR 1999: 373-374

Michael Gelfond, Vladimir Lifschitz: Action Languages. Electron. Trans. Artif. Intell. 2: 193-210 (1998)

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

Vladimir Lifschitz: Situation Calculus and Causal Logic. KR 1998: 536-546

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

Vladimir Lifschitz: On the Logic of Causal Explanation (Research Note). Artif. Intell. 96(2): 451-465 (1997)

Moisés Goldszmidt, Vladimir Lifschitz: The Sixth International Workshop on Nonmonotonic Reasoning (Workshop Report).. AI Magazine 18(3): 89 (1997)

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

Vladimir Lifschitz: Two Components of an Action Language. Ann. Math. Artif. Intell. 21(2-4): 305-320 (1997)

Vladimir Lifschitz: Nested Abnormality Theories. Artif. Intell. 74(2): 351-365 (1995)

Vladimir Lifschitz: ECWA Made Easy. Ann. Math. Artif. Intell. 14(2-4): 269-274 (1995)

Vladimir Lifschitz: The Logic of Common Sense. ACM Comput. Surv. 27(3): 343-345 (1995)

Vladimir Lifschitz: Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning. J. Autom. Reasoning 14(1): 1 (1995)

Vladimir Lifschitz: SLDNF, Constructive Negation and Grounding. ICLP 1995: 581-595

Enrico Giunchiglia, Vladimir Lifschitz: Dependent Fluents. IJCAI 1995: 1964-1969

G. Neelakantan Kartha, Vladimir Lifschitz: A Simple Formalization of Actions Using Circumscription. IJCAI 1995: 1970-1977

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

Vladimir Lifschitz: Minimal Belief and Negation as Failure. Artif. Intell. 70(1-2): 53-72 (1994)

Vladimir Lifschitz, Hudson Turner: Splitting a Logic Program. ICLP 1994: 23-37

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

Vladimir Lifschitz, Hudson Turner: From Disjunctive Programs to Abduction. NMELP 1994: 23-42

Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz: Autoepistemic Logic and Introspective Circumscription. TARK 1994: 197-207

Michael Gelfond, Vladimir Lifschitz: Representing Action and Change by Logic Programs. J. Log. Program. 17(2/3&4): 301-321 (1993)

Vladimir Lifschitz: Restricted Monotonicity. AAAI 1993: 432-437

Vladimir Lifschitz, Grigori Schwarz: Extended Logic Programs as Autoepistemic Theories. LPNMR 1993: 101-114

Vladimir Lifschitz, Norman McCain, Hudson Turner: Automated Reasoning About Actions: A Logic Programming Approach. ILPS 1993: 641

Vladimir Lifschitz: Editorial. J. Log. Comput. 2(6): 671-673 (1992)

Michael Gelfond, Vladimir Lifschitz: Representing Actions in Extended Logic Programming. JICSLP 1992: 559-573

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

Michael Gelfond, Vladimir Lifschitz: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Comput. 9(3/4): 365-386 (1991)

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

Vladimir Lifschitz: Nonmonotonic Databases and Epistemic Queries. IJCAI 1991: 381-386

Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski: Disjective Defaults. KR 1991: 230-237

Vladimir Lifschitz: Toward a Metatheory of Action. KR 1991: 376-386

Vladimir Lifschitz: Frames in the Space of Situations. Artif. Intell. 46(3): 365-376 (1990)

Michael Gelfond, Vladimir Lifschitz: Logic Programs with Classical Negation. ICLP 1990: 579-597

Vladimir Lifschitz, Arkady Rabinov: Miracles in Formal Theories of Action. Artif. Intell. 38(2): 225-237 (1989)

Vladimir Lifschitz: What Is the Inverse Method? J. Autom. Reasoning 5(1): 1-23 (1989)

Vladimir Lifschitz: Logical Foundations of Deductive Databases. IFIP Congress 1989: 315-321

Vladimir Lifschitz, Arkady Rabinov: Things That Change by Themselves. IJCAI 1989: 864-867

Vladimir Lifschitz: Between Circumscription and Autoepistemic Logic. KR 1989: 235-244

David W. Etherington, Kenneth D. Forbus, Matthew L. Ginsberg, David J. Israel, Vladimir Lifschitz: Critical Issues in Nonmonotonic Reasoning. KR 1989: 500-504

Vladimir Lifschitz: The Mathematics of Nonmonotonic Reasoning (Abstract). LICS 1989: 242

Vladimir Lifschitz: On the Declarative Semantics of Logic Programs with Negation. Foundations of Deductive Databases and Logic Programming. 1988: 177-192

Michael Gelfond, Vladimir Lifschitz: Compiling Circumscriptive Theories into Logic Programs. AAAI 1988: 455-449

Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080

Michael Gelfond, Vladimir Lifschitz: Compiling Circumscriptive Theories into Logic Programs. NMR 1988: 74-99

Vladimir Lifschitz: Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00. NMR 1988: 202-219

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

Vladimir Lifschitz: Formal Theories of Action (Preliminary Report). IJCAI 1987: 966-972

Vladimir Lifschitz: On the Satisfiability of Circumscription. Artif. Intell. 28(1): 17-27 (1986)

Vladimir Lifschitz: Pointwise Circumscription: Preliminary Report. AAAI 1986: 406-410

Vladimir Lifschitz: Closed-World Databases and Circumscription. Artif. Intell. 27(2): 229-235 (1985)

Vladimir Lifschitz: Computing Circumscription. IJCAI 1985: 121-127

Vladimir Lifschitz: On Verification of Programs With Goto Statements. Inf. Process. Lett. 18(4): 221-225 (1984)

Vladimir Lifschitz: Some Results on Circumscription. NMR 1984: 151-164

Vladimir Lifschitz, Leon Pesotchinsky: A Note on the Complexity of a Partition Algorithm. Inf. Process. Lett. 17(3): 117-120 (1983)

Vladimir Lifschitz, Boris Pittel: The Worst and the Most Probable Performance of a Class of Set-Covering Algorithms. SIAM J. Comput. 12(2): 329-346 (1983)

Vladimir Lifschitz: Constructive Assertions in an Extension of Classical Mathematics. J. Symb. Log. 47(2): 359-387 (1982)

Vladimir Lifschitz, Boris Pittel: The Number of Increasing Subsequences of the Random Permutation. J. Comb. Theory, Ser. A 31(1): 1-20 (1981)