Joohyung Lee
Alumni
Homepage:
http://peace.eas.asu.edu/joolee/
Publications (21)
Representing First-Order Causal Theories by Logic Programs 2012
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang
On Elementary Loops of Logic Programs 2011
Martin Gebser, Joohyung Lee, Yuliya Lierler
Stable Models and Circumscription 2011
Paolo Ferraris, Joohyung Lee, and Vladimir Lifschitz
Representing Synonymity in Causal Logic and in Logic Programming 2010
Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang
Symmetric Splitting in the General Theory of Stable Models 2009
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, and Ravi Palla
A Reductive Semantics for Counting and Choice in Answer Set Programming 2008
Joohyung Lee, Vladimir Lifschitz, and Ravi Palla
Safe Formulas in the General Theory of Stable Models (preliminary report) 2008
Joohyung Lee, Vladimir Lifschitz, and Ravi Palla
A New Perspective on Stable Models 2007
Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz
Head-Elementary-Set-Free Logic Programs 2007
Martin Gebser, Joohyung Lee, and Yuliya Lierler
A Generalization of the Lin-Zhao Theorem 2006
Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz
A Knowledge Module: Buying and Selling 2006
Joohyung Lee and Vladimir Lifschitz
Elementary Sets for Logic Programs 2006
Martin Gebser, Joohyung Lee, and Yuliya Lierler
A Model-Theoretic Counterpart of Loop Formulas 2005
Joohyung Lee
Automated Reasoning about Actions 2005
Joohyung Lee
Loop Formulas for Circumscription 2004
Joohyung Lee and Fangzhen Lin
Nondefinite vs. Definite Causal Theories 2004
Joohyung Lee
Nonmonotonic Causal Theories 2004
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain and Hudson Turner
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
Describing Additive Fluents in Action Language C 2003
Joohyung Lee and Vladimir Lifschitz
Loop Formulas for Disjunctive Logic Programs 2003
Joohyung Lee and Vladimir Lifschitz
Additive Fluents 2001
Joohyung Lee and Vladimir Lifschitz
Labs
Texas Action Group