Vladimir Lifschitz
Faculty
Homepage:
http://www.cs.utexas.edu/~vl
Publications
     [Expand to show all 104][Minimize]
Action Language BC: Preliminary Report 2013
Joohyung Lee, Vladimir Lifschitz, and Fangkai Yang, To Appear In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 2013.
Functional Completion 2013
Vladimir Lifschitz and Fangkai Yang, Journal of Applied Non-Classical Logics, 23(1-2), 2013.
Lloyd-Topor Completion and General Stable Models 2013
Vladimir Lifschitz and Fangkai Yang, To Appear In Theory and Practice of Logic Programming, 2013.
Logic Programs vs. First-Order Formulas in Textual Inference 2013
Yuliya Lierler and Vladimir Lifschitz, In 10th International Conference on Computational Semantics (IWCS), 2013.
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics 2013
Amelia Harrison, Vladimir Lifschitz and Miroslaw Truszczynski, 2013.
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Preliminary Report) 2013
Amelia Harrison, Vladimir Lifschitz and Miroslaw Truszczynski, To Appear In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), 2013.
On the Semantics of Gringo 2013
Amelia Harrison, Vladimir Lifschitz, and Fangkai Yang, To Appear In Working Notes of the Workshop on Answer Set Programming and Other Computing Paradigms, 2013.
The Dramatic True Story of the Frame Default 2013
Vladimir Lifschitz, To Appear In Journal of Philosophical Logic, 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, 12(4-5):565-582, 2012.
Logic Programs with Intensional Functions 2012
Vladimir Lifschitz, In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), 2012.
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, 12(3):383-412, 2012.
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, %RefShort%
Two-valued logic programs 2012
Vladimir Lifschitz, In Technical Communications of the International Conference on Logic Programming, 2012.
Datalog Programs and Their Stable Models 2011
Vladimir Lifschitz, In de Moor, O.; Gottlob, G.; Furche, T.; Sellers, A., editors, Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, 2011. Sprin...
John McCarthy, 1927-2011: The Scientist Who Set Computers on the Path to Common Sense 2011
Vladimir Lifschitz, In Nature, 480, 2011.
On the Minimality of Stable Models 2011
Paolo Ferraris and Vladimir Lifschitz, In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, 54-73, 2011. Springer.
Stable Models and Circumscription 2011
Paolo Ferraris, Joohyung Lee, and Vladimir Lifschitz, Artificial Intelligence, 175:236--263, 2011.
Termination of Grounding is Not Preserved by Strongly Equivalent Transformations 2011
Yuliya Lierler and Vladimir Lifschitz, In Logic Programming and Nonmonotonic Reasoning (LPNMR), 2011.
Yet Another Characterization of Strong Equivalence 2011
Alexander Bochman and Vladimir Lifschitz, In Technical Communications of the 27th International Conference on Logic Programming, 11-15, 2011.
From C-Believed Propositions to the Causal Calculator 2010
Vladimir Lifschitz, Heuristic, Probability and Causality: A Tribute to Judea Pearl, 2010.
On the Stable Model Semantics of First-Order Formulas with Aggregates 2010
Paolo Ferraris and Vladimir Lifschitz, In Proceedings of the 2010 Workshop on Nonmonotonic Reasoning, 2010.
Representing Synonymity in Causal Logic and in Logic Programming 2010
Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang, In Proceedings of International Workshop on Nonmonotonic Reasoning (NMR), 2010.
Thirteen Definitions of a Stable Model 2010
Vladimir Lifschitz, In Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of his 70th Birthday, 2010.
Translating First-Order Causal Theories into Answer Set Programming 2010
Vladimir Lifschitz and Fangkai Yang, In Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA), 2010.
One More Decidable Class of Finitely Ground Programs 2009
Yuliya Lierler and Vladimir Lifschitz, In Proc. International Conference on Logic Programming (ICLP), 2009.
Symmetric Splitting in the General Theory of Stable Models 2009
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, and Ravi Palla, In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 797-803, 2009.
A Reductive Semantics for Counting and Choice in Answer Set Programming 2008
Joohyung Lee, Vladimir Lifschitz, and Ravi Palla, In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 472-479, 2008.
Knowledge Representation and Classical Logic 2008
Vladimir Lifschitz, Leora Morgenstern and David Plaisted, In Frank van Harmelen and Vladimir Lifschitz and Bruce Porter, editors, Handbook of Knowledge Representation, 3-88, 2008. Elsevier.
Safe Formulas in the General Theory of Stable Models (preliminary report) 2008
Joohyung Lee, Vladimir Lifschitz, and Ravi Palla, In International Conference on Logic Programming (ICLP), 2008.
Twelve Definitions of a Stable Model 2008
Vladimir Lifschitz, In Proceedings of International Conference on Logic Programming (ICLP), 37-51, 2008.
What Is Answer Set Programming? 2008
Vladimir Lifschitz, In Proceedings of the AAAI Conference on Artificial Intelligence, 1594-1597, 2008. MIT Press.
A Characterization of Strong Equivalence for Logic Programs with Variables 2007
Vladimir Lifschitz, David Pearce and Agustin Valverde, In Procedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), 2007.
A New Perspective on Stable Models 2007
Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz, In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 372-379, 2007.
The Semantics of Variables in Action Descriptions 2007
Vladimir Lifschitz and Wanwan Ren, In Proceedings of National Conference on Artificial Intelligence (AAAI), 1025-1030, 2007.
Variables in Action Descriptions: Merging C+ with ADL 2007
Vladimir Lifschitz and Wanwan Ren, In Working Notes of the 8th International Symposium on Logical Formalizations of Commonsense Reasoning (as part of the AAAI Spring Symposium Series), 83--88, 2007.
Why the Monkey Needs the Box: a Serious Look at a Toy Domain 2007
Selim T. Erdoğan, Paolo Ferraris, Vladimir Lifschitz and Wanwan Ren, In Working Notes of the 7th IJCAI International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'07), 57--63, 2007.
A Generalization of the Lin-Zhao Theorem 2006
Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz, Annals of Mathematics and Artificial Intelligence, 47:79-101, 2006.
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), 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), 377-387, 2006.
Temporal Phylogenetic Networks and Logic Programming 2006
Esra Erdem, Vladimir Lifschitz and Don Ringe, Theory and Practice of Logic Programming, 6:539-558, 2006.
Why Are There So Many Loop Formulas? 2006
Vladimir Lifschitz and Alexander Razborov, ACM Transactions on Computational Logic, 7:261-268, 2006.
Mathematical Foundations of Answer Set Programming 2005
Paolo Ferraris and Vladimir Lifschitz, In We Will Show Them! Essays in Honour of Dov Gabbay, 615-664, 2005. King's College Publications.
Weight Constraints as Nested Expressions 2005
Paolo Ferraris and Vladimir Lifschitz, Theory and Practice of Logic Programming, 5:45-74, 2005.
Almost Definite Causal Theories 2004
Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz, In Proc. LPNMR-7, 74--86, 2004.
Definitions in Answer Set Programming 2004
Selim T. Erdoğan and Vladimir Lifschitz, In Vladimir Lifschitz and Ilkka Niemel{"a}, editors, Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), 114-126, 2004.
Irrelevant Actions in Plan Generation (extended abstract) 2004
Vladimir Lifschitz and Wanwan Ren, In IX Ibero-American Workshops on Artificial Intelligence, 71-78, 2004.
Nonmonotonic Causal Theories 2004
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain and Hudson Turner, Artificial Intelligence, 153(1--2):49-104, 2004.
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, 153(1--2):105-140, 2004.
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), 1079--1084, 2003.
Loop Formulas for Disjunctive Logic Programs 2003
Joohyung Lee and Vladimir Lifschitz, In Proceedings of International Conference on Logic Programming (ICLP), 451-465, 2003.
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming 2003
Esra Erdem, Vladimir Lifschitz, Luay Nakhleh and Donald Ringe, In Practical Aspects of Declarative Languages: 5th International Symposium, 160--176, 2003.
Reinforcing a Claim in Commonsense Reasoning 2003
Jonathan Campbell and Vladimir Lifschitz, 2003. 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, 3:499-518, 2003.
Answer Set Programming and Plan Generation 2002
Vladimir Lifschitz, Artificial Intelligence, 138:39-54, 2002.
On Calculational Proofs 2002
Vladimir Lifschitz, Annals of Pure and Applied Logic, 113:207-224, 2002.
Additive Fluents 2001
Joohyung Lee and Vladimir Lifschitz, 2001. In {em Working Notes of the AAAI Spring Symposium on Answer Set Programming}.
Fages' Theorem for Programs with Nested Expressions 2001
Esra Erdem and Vladimir Lifschitz, In Proceedings of International Conference on Logic Programming (ICLP), 242-254, 2001.
Strongly Equivalent Logic Programs 2001
Vladimir Lifschitz, David Pearce and Agustin Valverde, ACM Transactions on Computational Logic, 2:526-541, 2001.
Book review: M. Shanahan, Solving the Frame Problem 2000
Vladimir Lifschitz, Artificial Intelligence, 123:265-268, 2000.
Fages' Theorem and Answer Set Programming 2000
Yuliya Lierler, Esra Erdem and Vladimir Lifschitz, In Proceedings of International Workshop on Nonmonotonic Reasoning (NMR), 33-35" ) INPROCEEDINGS(bab00,, 2000. Springer.
Getting to the Airport: the Oldest Planning Problem in AI 2000
Vladimir Lifschitz, Norman McCain, Emilio Remolina and Armando Tacchella, In Jack Minker, editors, Logic-Based Artificial Intelligence, 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), 85-96, 2000.
Wire Routing and Satisfiability Planning 2000
Esra Erdem, Vladimir Lifschitz and Martin Wong, In Proceedings of International Conference on Computational Logic, 822-836, 2000.
Action Languages, Answer Sets and Planning 1999
Vladimir Lifschitz, In The Logic Programming Paradigm: a 25-Year Perspective, 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, 23-37, 1999.
Nested Expressions in Logic Programs 1999
Vladimir Lifschitz, Lappoon R. Tang and Hudson Turner, Annals of Mathematics and Artificial Intelligence, 25:369-389, 1999.
Representing Transition Systems by Logic Programs 1999
Vladimir Lifschitz and Hudson Turner, In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), 92-106, 1999.
Success of Default Logic 1999
Vladimir Lifschitz, In Levesque, Hector and Pirri, Fiora, editors, Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, 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), 107-116, 1999.
Action Languages 1998
Michael Gelfond and Vladimir Lifschitz, Electronic Transactions on Artificial Intelligence, 3:195-210, 1998.
An Action Language Based on Causal Explanation: preliminary report 1998
Enrico Giunchiglia and Vladimir Lifschitz, In Proceedings of National Conference on Artificial Intelligence (AAAI), 623-630, 1998. AAAI Press.
Situation Calculus and Causal Logic 1998
Vladimir Lifschitz, In Cohn, Anthony and Schubert, Lenhart and Shapiro, Stuart, editors, Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), 536-546, 1998.
On the Logic of Causal Explanation 1997
Vladimir Lifschitz, Artificial Intelligence, 96:451-465, 1997.
Representing Action: Indeterminacy and Ramifications 1997
Enrico Giunchiglia, G. Neelakantan Kartha and Vladimir Lifschitz, Artificial Intelligence, 95:409-443, 1997.
Two Components of an Action Language 1997
Vladimir Lifschitz, Annals of Mathematics and Artificial Intelligence, 21:305-320, 1997.
Foundations of Logic Programming 1996
Vladimir Lifschitz , In Brewka, Gerhard, editors, Principles of Knowledge Representation, 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), 1970-1975, 1995.
Dependent Fluents 1995
Enrico Giunchiglia and Vladimir Lifschitz, In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 1964-1969, 1995.
ECWA Made Easy 1995
Vladimir Lifschitz, Annals of Mathematics and Artificial Intelligence, 14:269-274, 1995.
From Disjunctive Programs to Abduction 1995
Vladimir Lifschitz and Hudson Turner, In Dix, J{"u}rgen and Pereira, Luis and Przymusinski, Teodor, editors, Non-Monotonic Extensions of Logic Programming (Lecture Notes in Artificial Intelligence 927), 23-42, 1995. Springer.
Loop Checking and the Well-founded Semantics 1995
Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski and Robert F. Staerk, In Logic Programming and Non-monotonic Reasoning: Proceedings of the Third Int'l Conf., 127-142, 1995.
Nested Abnormality Theories 1995
Vladimir Lifschitz, Artificial Intelligence, 74:351-365, 1995.
SLDNF, Constructive Negation and Grounding 1995
Vladimir Lifschitz, In Proceedings ICLP-95, 581-595, 1995.
The Logic of Common Sense 1995
Vladimir Lifschitz, ACM Computing Surveys, 27:343-345, 1995.
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), 341-350, 1994.
Autoepistemic Logic and Introspective Circumscription 1994
Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska and Grigori Schwarz, In Fagin, Ronald, editors, Theoretical Aspects of Reasoning about Knowledge: Proceedings Fifth Conf., 197-207, 1994.
Circumscription 1994
Vladimir Lifschitz, Handbook of Logic in AI and Logic Programming, 3:298--352, 1994. Oxford University Press.
Minimal Belief and Negation as Failure 1994
Vladimir Lifschitz, In Gabbay, D.M. and Hogger, C.J. and Robinson, J.A., editors, Handbook of Logic in AI and Logic Programming, 70, 53--72, 1994. Oxford University Press.
Splitting a Logic Program 1994
Vladimir Lifschitz and Hudson Turner, In Van Hentenryck, Pascal, editors, Proceedings of International Conference on Logic Programming (ICLP), 23-37, 1994.
Extended Logic Programs as Autoepistemic Theories 1993
Vladimir Lifschitz and Grigori Schwarz, In Pereira, Luis Moniz and Nerode, Anil, editors, Logic Programming and Non-monotonic Reasoning: Proceedings of the Second Int'l Workshop, 101-114, 1993.
Representing Action and Change by Logic Programs 1993
Michael Gelfond and Vladimir Lifschitz, Journal of Logic Programming, 17:301-322, 1993.
Restricted Monotonicity 1993
Vladimir Lifschitz, In Proceedings of National Conference on Artificial Intelligence (AAAI), 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, 603--614, 1991.
Classical Negation in Logic Programs and Disjunctive Databases 1991
Michael Gelfond and Vladimir Lifschitz, New Generation Computing, 9:365-385, 1991.
Disjunctive Defaults 1991
Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska and Miroslaw Truszczynski, In Allen, James and Fikes, Richard and Sandewall, Erik, editors, Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), 230-237, 1991.
Editorial 1991
Vladimir Lifschitz, Journal of Logic and Computation, 2:671--673, 1991.
Towards a Metatheory of Action 1991
Vladimir Lifschitz, In Allen, James and Fikes, Richard and Sandewall, Erik, editors, Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), 376-386, 1991.
On Open Defaults 1990
Vladimir Lifschitz, In Lloyd, John, editors, Computational Logic: Symposium Proceedings, 80-95, 1990. Springer.
Benchmark Problems for Formal Nonmonotonic Reasoning 1989
Vladimir Lifschitz, In Proceedings of the Second international Workshop on Non-monotonic Reasoning, 202--219, 1989.
The Stable Model Semantics for Logic Programming 1988
Michael Gelfond and Vladimir Lifschitz, In Kowalski, Robert and Bowen, Kenneth, editors, Proceedings of International Logic Programming Conference and Symposium, 1070-1080, 1988. MIT Press.
On the Semantics of STRIPS 1987
Vladimir Lifschitz, In Georgeff, Michael and Lansky, Amy, editors, Reasoning about Actions and Plans, 1-9, San Mateo, CA, 1987. Morgan Kaufmann.
Labs
Texas Action Group