Joohyung Lee
Ph.D. Alumni
Homepage:
http://peace.eas.asu.edu/joolee/
Publications
     [Expand to show all 22][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 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.
On Elementary Loops of Logic Programs 2011
Martin Gebser, Joohyung Lee, Yuliya Lierler, Theory and Practice of Logic Programming, 2011.
Stable Models and Circumscription 2011
Paolo Ferraris, Joohyung Lee, and Vladimir Lifschitz, Artificial Intelligence, 175:236--263, 2011.
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.
Symmetric Splitting in the General Theory of Stable Models 2009
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, and Ravi Palla, In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 797-803, 2009.
A Reductive Semantics for Counting and Choice in Answer Set Programming 2008
Joohyung Lee, Vladimir Lifschitz, and Ravi Palla, In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 472-479, 2008.
Safe Formulas in the General Theory of Stable Models (preliminary report) 2008
Joohyung Lee, Vladimir Lifschitz, and Ravi Palla, In International Conference on Logic Programming (ICLP), 2008.
A New Perspective on Stable Models 2007
Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz, In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 372-379, 2007.
Head-Elementary-Set-Free Logic Programs 2007
Martin Gebser, Joohyung Lee, and Yuliya Lierler, In Logic Programming and Nonmonotonic Reasoning, 149--161, 2007.
A Generalization of the Lin-Zhao Theorem 2006
Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz, Annals of Mathematics and Artificial Intelligence, 47:79-101, 2006.
A Knowledge Module: Buying and Selling 2006
Joohyung Lee and Vladimir Lifschitz, In Working Notes of the AAAI Symposium on Formalizing Background Knowledge, 2006.
Elementary Sets for Logic Programs 2006
Martin Gebser, Joohyung Lee, and Yuliya Lierler, In Proceedings of National Conference on Artificial Intelligence (AAAI), 2006.
A Model-Theoretic Counterpart of Loop Formulas 2005
Joohyung Lee, In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 503-508, 2005. Professional Book Center.
Automated Reasoning about Actions 2005
Joohyung Lee, PhD Thesis, University of Texas at Austin, 2005.
Loop Formulas for Circumscription 2004
Joohyung Lee and Fangzhen Lin, In Proceedings of National Conference on Artificial Intelligence (AAAI), 281-286, 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.
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.
Loop Formulas for Disjunctive Logic Programs 2003
Joohyung Lee and Vladimir Lifschitz, In Proceedings of International Conference on Logic Programming (ICLP), 451-465, 2003.
Additive Fluents 2001
Joohyung Lee and Vladimir Lifschitz, 2001. In {em Working Notes of the AAAI Spring Symposium on Answer Set Programming}.
Labs
Texas Action Group