Action Languages
An action language is a language for specifying state transition systems, and is commonly used to create formal models of the effects of actions on the world. Action languages are commonly used in the artificial intelligence and robotics domains, where they describe how actions affect the states of systems over time, and may be used for automated planning. (http://en.wikipedia.org/wiki/Action_language)
Subareas:
Publications
     [Expand to show all 37][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.
Representing Actions in Logic-based Languages 2013
Fangkai Yang, To Appear In TPLP, Online Supplement, 2013.
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.
From C-Believed Propositions to the Causal Calculator 2010
Vladimir Lifschitz, Heuristic, Probability and Causality: A Tribute to Judea Pearl, 2010.
A Modular Language for Describing Actions 2009
Wanwan Ren, PhD Thesis, University of Texas at Austin, 2009.
A Library of General-Purpose Action Descriptions 2008
Selim T. Erdoğan, PhD Thesis, Computer Sciences Department, The University of Texas at Austin, Austin, Texas, 2008.
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.
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.
Causal Theories as Logic Programs 2006
Paolo Ferraris, In Proceedings of Workshop on Logic Programming, 2006.
Automated Reasoning about Actions 2005
Joohyung Lee, PhD Thesis, University of Texas at Austin, 2005.
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}.
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.
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.
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.
Causal Action Theories and Satisfiability Planning 1998
Hudson Turner, PhD Thesis, University of Texas at Austin, 1998.
Causality in Commonsense Reasoning about Actions 1997
Norman McCain, PhD Thesis, Computer Sciences Department, The University of Texas at Austin, 1997.
Representing Action: Indeterminacy and Ramifications 1997
Enrico Giunchiglia, G. Neelakantan Kartha and Vladimir Lifschitz, Artificial Intelligence, 95:409-443, 1997.
Representing Actions in Logic Programs and Default Theories: a Situation Calculus Approach 1997
Hudson Turner, Journal of Logic Programming, 31:245-298, 1997.
Two Components of an Action Language 1997
Vladimir Lifschitz, Annals of Mathematics and Artificial Intelligence, 21:305-320, 1997.
A Mathematical Investigation of Reasoning about Actions 1995
Neelakantan Kartha , PhD Thesis, University of Texas at Austin, 1995. (Available by anonymous ftp from ftp.cs.utexas.edu as /pub/techreports/tr95-17.ps).
Dependent Fluents 1995
Enrico Giunchiglia and Vladimir Lifschitz, In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 1964-1969, 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.
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.
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