Causal Theories
Subareas:
Publications
     [Expand to show all 22][Minimize]
Functional Completion 2013
Vladimir Lifschitz and Fangkai Yang, Journal of Applied Non-Classical Logics, 23(1-2), 2013.
Representing Actions in Logic-based Languages 2013
Fangkai Yang, To Appear In TPLP, Online Supplement, 2013.
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.
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.
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.
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), 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.
Almost Definite Causal Theories 2004
Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz, In Proc. LPNMR-7, 74--86, 2004.
Nondefinite vs. Definite Causal Theories 2004
Joohyung Lee, In Proceedings 7th Int'l Conference on Logic Programming and Nonmonotonic Reasoning, 141-153, 2004.
Nonmonotonic Causal Theories 2004
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain and Hudson Turner, Artificial Intelligence, 153(1--2):49-104, 2004.
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.
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.
Satisfiability Planning with Causal Theories 1998
Norman McCain and Hudson Turner, In Cohn, Anthony and Schubert, Lenhart and Shapiro, Stuart, editors, Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), 212-223, 1998.
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.
Causal Theories of Action and Change 1997
Norman McCain and Hudson Turner, In Proceedings of National Conference on Artificial Intelligence (AAAI), 460-465, 1997.
On the Logic of Causal Explanation 1997
Vladimir Lifschitz, Artificial Intelligence, 96:451-465, 1997.
A Causal Theory of Ramifications and Qualifications 1995
Norman McCain and Hudson Turner, In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 1978-1984, 1995.
Labs
Texas Action Group