Papers
-
Additive Fluents
Joohyung Lee and
Vladimir Lifschitz.
In Working notes of AAAI 2001 Spring Symposium
on Answer Set Programming: Towards Efficient and
Scalable Knowledge Representation and Reasoning, 2001.
[ ps ]
[ pdf ] /
longer version with appendix
[ ps ]
[ pdf ]
-
Nonmonotonic Causal Theories
Enrico
Giunchiglia,
Joohyung Lee,
Vladimir Lifschitz,
Norman McCain and
Hudson Turner.
Artificial Intelligence, 153(1-2):49-104, 2004.
[ ps ]
[ pdf ]
-
Representing the Zoo World and the Traffic World in the Language of the Causal Calculator
Varol Akman,
Selim Erdogan,
Joohyung Lee,
Vladimir Lifschitz and
Hudson Turner.
Artificial Intelligence, 153(1-2):105-140, 2004.
[ ps ]
[ pdf ] |
(full formalization of the Zoo World)
(full formalization of the Traffic World)
This journal paper combines the two papers presented
at Common Sense 2001:
-
Describing Additive Fluents in Action Language C+
Joohyung Lee and
Vladimir Lifschitz.
In Proc. Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), pages 1079-1084, 2003.
[ ps ]
[ pdf ]
-
Loop Formulas for Disjunctive Logic Programs
Joohyung Lee and
Vladimir Lifschitz.
In Proc. Nineteenth International Conference on Logic Programming
(ICLP 2003), pages 451-465, 2003.
[ ps ]
[ pdf ]
-
Nondefinite vs. Definite Causal Theories
Joohyung Lee.
In Proc. Seventh International Conference on Logic Programming
and Nonmonotonic Reasoning (LPNMR 2004), pages 141-153, 2004.
[ ps ]
[ pdf ]
-
A Model-Theoretic Counterpart of Loop Formulas
Joohyung Lee.
In Proc. Nineteenth International Joint Conference on
Artificial Intelligence (IJCAI 2005), pages 503-508, 2005.
[ ps ]
[ pdf ]
-
Automated Reasoning about Actions
Joohyung Lee.
Supervising professor: Vladimir Lifschitz
Ph.D. Dissertation, May 2005
[ ps ]
[ pdf ]
-
Loop Formulas for Circumscription
Joohyung Lee and
Fangzhen Lin.
Artificial Intelligence, 170(2):160-185, 2006.
[ ps ]
[ pdf ]
This journal paper is an extension of the conference paper appeared in AAAI 2004:
-
Joohyung Lee and
Fangzhen Lin.
In Proc. Nineteenth National Conference on Artificial
Intelligence (AAAI 2004), pages 281-286, 2004.
[ ps ]
[ pdf ]
-
A Knowledge Module: Buying and Selling
Joohyung Lee and
Vladimir Lifschitz.
In Working Notes of AAAI 2006 Spring Symposium on Formalizing
and Compiling Background Knowledge and its Applications to
Knowledge Representation and Question Answering, pages
28-32, 2006.
[ ps ]
[ pdf ]
-
A Generalization of the Lin-Zhao Theorem
Paolo Ferraris,
Joohyung Lee and
Vladimir Lifschitz.
Annals of Mathematics and Artificial Intelligence,
47(1-2):79-101, 2006.
[ ps ]
[ pdf ]
-
Elementary Sets for Logic Programs
Martin Gebser,
Joohyung Lee and
Yuliya Lierler.
In Proc. AAAI 2006.
[ ps ]
[ pdf ]
Version appeared in Proc. NMR 2006
[ ps ]
[ pdf ]
-
A New Perspective on Stable Models
Paolo Ferraris,
Joohyung Lee and
Vladimir Lifschitz
[ ps ]
[ pdf ]
In Proc. IJCAI 2007, pages 372-379, 2007.
-
Head-Elementary-Set-Free Logic Programs
Martin Gebser,
Joohyung Lee and
Yuliya Lierler.
In Proc. LPNMR 2007, pages 149-161, 2007
[ ps ]
[ pdf ]
-
Yet Another Proof of the Strong Equivalence Between
Propositional Theories and Logic Programs
Joohyung Lee and
Ravi Palla
[ ps ]
[ pdf ]
In Working notes of Correspondence and Equivalence forNonmonotonic Theories (CENT 2007). Also in
CEUR Vol 265
-
Stable Models and Circumscription
Paolo Ferraris,
Joohyung Lee and
Vladimir Lifschitz
[ ps ]
[ pdf ]
Unpublished draft.
-
A Reductive Semantics for Counting and Choice in Answer Set Programming
Joohyung Lee,
Vladimir
Lifschitz and
Ravi Palla
[ ps ]
[ pdf ]
To appear in Proc. AAAI 2008.
-
On Loop Formulas with Variables
Joohyung Lee and
Yunsong Meng
[ ps ]
[ pdf ]
To appear in Proc. KR 2008.
-
Safe Formulas in the General Theory of Stable Models
Joohyung Lee,
Vladimir
Lifschitz and
Ravi Palla
[ ps ]
[ pdf ]
Unpublished draft.