UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Joohyung Lee
Ph.D. Alumni
Email:
joolee [at] asu edu
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, 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
, Vol. 12, 3 (2012), pp. 383-412.
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
, Vol. 175 (2011), pp. 236--263.
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)
, pp. 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)
, pp. 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)
, pp. 372-379 2007.
Head-Elementary-Set-Free Logic Programs
2007
Martin Gebser, Joohyung Lee, and Yuliya Lierler, In
Logic Programming and Nonmonotonic Reasoning
, pp. 149--161 2007.
A Generalization of the Lin-Zhao Theorem
2006
Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz,
Annals of Mathematics and Artificial Intelligence
, Vol. 47 (2006), pp. 79-101.
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)
, pp. 503-508 2005. Professional Book Center.
Automated Reasoning about Actions
2005
Joohyung Lee, PhD Thesis, University of Texas at Austin.
Loop Formulas for Circumscription
2004
Joohyung Lee and Fangzhen Lin, In
Proceedings of National Conference on Artificial Intelligence (AAAI)
, pp. 281-286 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.
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
, Vol. 153(1--2) (2004), pp. 105-140.
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)
, pp. 1079--1084 2003.
Loop Formulas for Disjunctive Logic Programs
2003
Joohyung Lee and Vladimir Lifschitz, In
Proceedings of International Conference on Logic Programming (ICLP)
, pp. 451-465 2003.
Additive Fluents
2001
Joohyung Lee and Vladimir Lifschitz, unpublished. In {em Working Notes of the AAAI Spring Symposium on Answer Set Programming}.
Labs
Formerly affiliated with
Texas Action Group