Causal Theories
     [Expand to show all 22][Minimize]
Functional Completion 2013
Vladimir Lifschitz and Fangkai Yang, Journal of Applied Non-Classical Logics, Vol. 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, Vol. 12, 3 (2012), pp. 383-412.
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), pp. 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), pp. 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, pp. 74--86 2004.
Nondefinite vs. Definite Causal Theories 2004
Joohyung Lee, In Proceedings 7th Int'l Conference on Logic Programming and Nonmonotonic Reasoning, pp. 141-153 2004.
Nonmonotonic Causal Theories 2004
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain and Hudson Turner, Artificial Intelligence, Vol. 153(1--2) (2004), pp. 49-104.
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), pp. 623-630 1998. AAAI Press.
Causal Action Theories and Satisfiability Planning 1998
Hudson Turner, PhD Thesis, University of Texas at Austin.
Satisfiability Planning with Causal Theories 1998
Norman McCain and Hudson Turner, In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), Cohn, Anthony and Schubert, Lenhart and Shapiro, Stuart (Eds.), pp. 212-223 1998.
Situation Calculus and Causal Logic 1998
Vladimir Lifschitz, In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), Cohn, Anthony and Schubert, Lenhart and Shapiro, Stuart (Eds.), pp. 536-546 1998.
Causal Theories of Action and Change 1997
Norman McCain and Hudson Turner, In Proceedings of National Conference on Artificial Intelligence (AAAI), pp. 460-465 1997.
On the Logic of Causal Explanation 1997
Vladimir Lifschitz, Artificial Intelligence, Vol. 96 (1997), pp. 451-465.
A Causal Theory of Ramifications and Qualifications 1995
Norman McCain and Hudson Turner, In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 1978-1984 1995.