UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Nonmonotonic Reasoning
Publications
[Expand to show all 67]
[Minimize]
Interview to Kunstliche Intelligenz
2018
Vladimir Lifschitz,
Kunstliche Intelligenz
(2018).
The Dramatic True Story of the Frame Default
2015
Vladimir Lifschitz,
Journal of Philosophical Logic
, Vol. 44, 2 (2015), pp. 163--176.
Functional Completion
2013
Vladimir Lifschitz and Fangkai Yang,
Journal of Applied Non-Classical Logics
, Vol. 23, 1-2 (2013).
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Preliminary Report)
2013
Amelia Harrison, Vladimir Lifschitz and Miroslaw Truszczynski, In
Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)
2013.
Relational Theories with Null Values and Non-Herbrand Stable Models
2012
Vladimir Lifschitz, Karl Pichotta, and Fangkai Yang,
Theory and Practice of Logic Programming
, Vol. 12, 4-5 (2012), pp. 565-582.
Representing First-Order Causal Theories by Logic Programs
2012
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang,
Theory and Practice of Logic Programming
, Vol. 12, 3 (2012), pp. 383-412.
The Common Core of Action Languages B and C
2012
Michael Gelfond and Vladimir Lifschitz, In
Working Notes of the International Workshop on Nonmonotonic Reasoning (NMR)
2012.
The Frame Problem, Then and Now
2012
Vladimir Lifschitz, unpublished.
Datalog Programs and Their Stable Models
2011
Vladimir Lifschitz, In
Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
, de Moor, O.; Gottlob, G.; Furche, T.; Sellers, A. (Eds.) 2011. Springer...
A Logic Program Characterization of Causal Theories
2007
Paolo Ferraris, In
IJCAI
2007.
A Knowledge Module: Buying and Selling
2006
Joohyung Lee and Vladimir Lifschitz, In
Working Notes of the AAAI Symposium on Formalizing Background Knowledge
2006.
A Modular Action Description Language
2006
Vladimir Lifschitz and Wanwan Ren, In
Proceedings of National Conference on Artificial Intelligence (AAAI)
, pp. 853-859 2006.
Actions as Special Cases
2006
Selim T. Erdoğan and Vladimir Lifschitz, In
Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)
, pp. 377-387 2006.
Causal Theories as Logic Programs
2006
Paolo Ferraris, In
Proceedings of Workshop on Logic Programming
2006.
Temporal Phylogenetic Networks and Logic Programming
2006
Esra Erdem, Vladimir Lifschitz and Don Ringe,
Theory and Practice of Logic Programming
, Vol. 6 (2006), pp. 539-558.
Why Are There So Many Loop Formulas?
2006
Vladimir Lifschitz and Alexander Razborov,
ACM Transactions on Computational Logic
, Vol. 7 (2006), pp. 261-268.
Weight Constraints as Nested Expressions
2005
Paolo Ferraris and Vladimir Lifschitz,
Theory and Practice of Logic Programming
, Vol. 5 (2005), pp. 45-74.
Almost Definite Causal Theories
2004
Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz, In
Proc. LPNMR-7
, pp. 74--86 2004.
Definitions in Answer Set Programming
2004
Selim T. Erdoğan and Vladimir Lifschitz, In
Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)
, Vladimir Lifschitz and Ilkka Niemel{"a} (Eds.), pp. 114-126 2004.
Irrelevant Actions in Plan Generation (extended abstract)
2004
Vladimir Lifschitz and Wanwan Ren, In
IX Ibero-American Workshops on Artificial Intelligence
, pp. 71-78 2004.
Nonmonotonic Causal Theories
2004
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain and Hudson Turner,
Artificial Intelligence
, Vol. 153(1--2) (2004), pp. 49-104.
Representing the Zoo World and the Traffic World in the language of the Causal Calculator
2004
Varol Akman, Selim T. Erdoğan, Joohyung Lee, Vladimir Lifschitz and Hudson Turner,
Artificial Intelligence
, Vol. 153(1--2) (2004), pp. 105-140.
Describing Additive Fluents in Action Language C
2003
Joohyung Lee and Vladimir Lifschitz, In
Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-03)
, pp. 1079--1084 2003.
Loop Formulas for Disjunctive Logic Programs
2003
Joohyung Lee and Vladimir Lifschitz, In
Proceedings of International Conference on Logic Programming (ICLP)
, pp. 451-465 2003.
Reinforcing a Claim in Commonsense Reasoning
2003
Jonathan Campbell and Vladimir Lifschitz, unpublished. In {em Working Notes of the AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning}.
Tight Logic Programs
2003
Esra Erdem and Vladimir Lifschitz,
Theory and Practice of Logic Programming
, Vol. 3 (2003), pp. 499-518.
Answer Set Programming and Plan Generation
2002
Vladimir Lifschitz,
Artificial Intelligence
, Vol. 138 (2002), pp. 39-54.
Fages' Theorem for Programs with Nested Expressions
2001
Esra Erdem and Vladimir Lifschitz, In
Proceedings of International Conference on Logic Programming (ICLP)
, pp. 242-254 2001.
Strongly Equivalent Logic Programs
2001
Vladimir Lifschitz, David Pearce and Agustin Valverde,
ACM Transactions on Computational Logic
, Vol. 2 (2001), pp. 526-541.
Book review: M. Shanahan, Solving the Frame Problem
2000
Vladimir Lifschitz,
Artificial Intelligence
, Vol. 123 (2000), pp. 265-268.
Fages' Theorem and Answer Set Programming
2000
Yuliya Lierler, Esra Erdem and Vladimir Lifschitz, In
Proceedings of International Workshop on Nonmonotonic Reasoning (NMR)
, pp. 33-35 2000. Springer.
Getting to the Airport: the Oldest Planning Problem in AI
2000
Vladimir Lifschitz, Norman McCain, Emilio Remolina and Armando Tacchella, In
Logic-Based Artificial Intelligence
, Jack Minker (Eds.), pp. 147-165 2000. Kluwer.
Missionaries and Cannibals in the Causal Calculator
2000
Vladimir Lifschitz, In
Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)
, pp. 85-96 2000.
Wire Routing and Satisfiability Planning
2000
Esra Erdem, Vladimir Lifschitz and Martin Wong, In
Proceedings of International Conference on Computational Logic
, pp. 822-836 2000.
Action Languages, Answer Sets and Planning
1999
Vladimir Lifschitz, In
The Logic Programming Paradigm: a 25-Year Perspective
, pp. 357-373 1999. Springer Verlag.
Action Languages, Temporal Action Logics and the Situation Calculus
1999
Enrico Giunchiglia and Vladimir Lifschitz, In
Working Notes of the IJCAI-99 Workshop on Nonmonotonic Reasoning, Action, and Change
1999.
Answer Set Planning
1999
Vladimir Lifschitz, In
Proceedings ICLP-99
, pp. 23-37 1999.
Nested Expressions in Logic Programs
1999
Vladimir Lifschitz, Lappoon R. Tang and Hudson Turner,
Annals of Mathematics and Artificial Intelligence
, Vol. 25 (1999), pp. 369-389.
Representing Transition Systems by Logic Programs
1999
Vladimir Lifschitz and Hudson Turner, In
Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)
, pp. 92-106 1999.
Success of Default Logic
1999
Vladimir Lifschitz, In
Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter
, Levesque, Hector and Pirri, Fiora (Eds.), pp. 208-212 1999. Springer.
Transformations of Logic Programs Related to Causality and Planning
1999
Esra Erdem and Vladimir Lifschitz, In
Logic Programming and Non-monotonic Reasoning: Proceedings Fifth Int'l Conf. (Lecture Notes in Artificial Intelligence 1730)
, pp. 107-116 1999.
Action Languages
1998
Michael Gelfond and Vladimir Lifschitz,
Electronic Transactions on Artificial Intelligence
, Vol. 3 (1998), pp. 195-210.
An Action Language Based on Causal Explanation: preliminary report
1998
Enrico Giunchiglia and Vladimir Lifschitz, In
Proceedings of National Conference on Artificial Intelligence (AAAI)
, pp. 623-630 1998. AAAI Press.
Situation Calculus and Causal Logic
1998
Vladimir Lifschitz, In
Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)
, Cohn, Anthony and Schubert, Lenhart and Shapiro, Stuart (Eds.), pp. 536-546 1998.
On the Logic of Causal Explanation
1997
Vladimir Lifschitz,
Artificial Intelligence
, Vol. 96 (1997), pp. 451-465.
Representing Action: Indeterminacy and Ramifications
1997
Enrico Giunchiglia, G. Neelakantan Kartha and Vladimir Lifschitz,
Artificial Intelligence
, Vol. 95 (1997), pp. 409-443.
Two Components of an Action Language
1997
Vladimir Lifschitz,
Annals of Mathematics and Artificial Intelligence
, Vol. 21 (1997), pp. 305-320.
Foundations of Logic Programming
1996
Vladimir Lifschitz , In
Principles of Knowledge Representation
, Brewka, Gerhard (Eds.), pp. 69-128 1996. CSLI Publications.
A Simple Formalization of Actions Using Circumscription
1995
G. Neelakantan Kartha and Vladimir Lifschitz, In
Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)
, pp. 1970-1975 1995.
Dependent Fluents
1995
Enrico Giunchiglia and Vladimir Lifschitz, In
Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)
, pp. 1964-1969 1995.
From Disjunctive Programs to Abduction
1995
Vladimir Lifschitz and Hudson Turner, In
Non-Monotonic Extensions of Logic Programming (Lecture Notes in Artificial Intelligence 927)
, Dix, J{"u}rgen and Pereira, Luis and Przymusinski, Teodor (Eds.), pp. 23-42 1995. Springer.
Nested Abnormality Theories
1995
Vladimir Lifschitz,
Artificial Intelligence
, Vol. 74 (1995), pp. 351-365.
Actions with Indirect Effects (preliminary report)
1994
G. Neelakantan Kartha and Vladimir Lifschitz, In
Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)
, pp. 341-350 1994.
Autoepistemic Logic and Introspective Circumscription
1994
Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska and Grigori Schwarz, In
Theoretical Aspects of Reasoning about Knowledge: Proceedings Fifth Conf.
, Fagin, Ronald (Eds.), pp. 197-207 1994.
Circumscription
1994
Vladimir Lifschitz,
Handbook of Logic in AI and Logic Programming
, Vol. 3 (1994), pp. 298--352. Oxford University Press.
Minimal Belief and Negation as Failure
1994
Vladimir Lifschitz,
Artificial Intelligence
Gabbay, D.M. and Hogger, C.J. and Robinson, J.A. (Eds.), Vol. 70 (1994), pp. 53--72. Oxford University Press.
Splitting a Logic Program
1994
Vladimir Lifschitz and Hudson Turner, In
Proceedings of International Conference on Logic Programming (ICLP)
, Van Hentenryck, Pascal (Eds.), pp. 23-37 1994.
Extended Logic Programs as Autoepistemic Theories
1993
Vladimir Lifschitz and Grigori Schwarz, In
Logic Programming and Non-monotonic Reasoning: Proceedings of the Second Int'l Workshop
, Pereira, Luis Moniz and Nerode, Anil (Eds.), pp. 101-114 1993.
Representing Action and Change by Logic Programs
1993
Michael Gelfond and Vladimir Lifschitz,
Journal of Logic Programming
, Vol. 17 (1993), pp. 301-322.
Restricted Monotonicity
1993
Vladimir Lifschitz, In
Proceedings of National Conference on Artificial Intelligence (AAAI)
, pp. 432-437 1993.
Answer Sets in General Nonmonotonic Reasoning (preliminary report)
1991
Vladimir Lifschitz and Thomas Y. C. Woo, In
Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning
, pp. 603--614 1991.
Classical Negation in Logic Programs and Disjunctive Databases
1991
Michael Gelfond and Vladimir Lifschitz,
New Generation Computing
, Vol. 9 (1991), pp. 365-385.
Disjunctive Defaults
1991
Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska and Miroslaw Truszczynski, In
Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)
, Allen, James and Fikes, Richard and Sandewall, Erik (Eds.), pp. 230-237 1991.
Towards a Metatheory of Action
1991
Vladimir Lifschitz, In
Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)
, Allen, James and Fikes, Richard and Sandewall, Erik (Eds.), pp. 376-386 1991.
On Open Defaults
1990
Vladimir Lifschitz, In
Computational Logic: Symposium Proceedings
, Lloyd, John (Eds.), pp. 80-95 1990. Springer.
Benchmark Problems for Formal Nonmonotonic Reasoning
1989
Vladimir Lifschitz, In
Proceedings of the Second international Workshop on Non-monotonic Reasoning
, pp. 202--219 1989.
The Stable Model Semantics for Logic Programming
1988
Michael Gelfond and Vladimir Lifschitz, In
Proceedings of International Logic Programming Conference and Symposium
, Kowalski, Robert and Bowen, Kenneth (Eds.), pp. 1070-1080 1988. MIT Press.