Reasoning about Actions
Subareas:
Publications
     [Expand to show all 34][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.
The Dramatic True Story of the Frame Default 2013
Vladimir Lifschitz, To Appear In Journal of Philosophical Logic, 2013.
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.
Almost Definite Causal Theories 2004
Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz, In Proc. LPNMR-7, 74--86, 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.
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}.
Book review: M. Shanahan, Solving the Frame Problem 2000
Vladimir Lifschitz, Artificial Intelligence, 123:265-268, 2000.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Labs
Texas Action Group