Common Sense Reasoning
Subareas:
Publications
     [Expand to show all 19][Minimize]
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.
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.
Knowledge Representation and Question Answering 2008
Marcello Balduccini, Chitta Baral, Yuliya Lierler, In Frank van Harmelen and Vladimir Lifschitz and Bruce Porter, editors, Handbook of Knowledge Representation, 779-820, 2008. Elsevier.
A Logic Program Characterization of Causal Theories 2007
Paolo Ferraris, In IJCAI, 2007.
Causal Theories as Logic Programs 2006
Paolo Ferraris, In Proceedings of Workshop on Logic Programming, 2006.
Irrelevant Actions in Plan Generation (extended abstract) 2004
Vladimir Lifschitz and Wanwan Ren, In IX Ibero-American Workshops on Artificial Intelligence, 71-78, 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.
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.
The Logic of Common Sense 1995
Vladimir Lifschitz, ACM Computing Surveys, 27:343-345, 1995.
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