| 2008 |
|---|
| 18 | | Joohyung Lee,
Vladimir Lifschitz,
Ravi Palla:
A Reductive Semantics for Counting and Choice in Answer Set Programming.
AAAI 2008: 472-479 |
| 17 | EE | Joohyung Lee,
Vladimir Lifschitz,
Ravi Palla:
Safe Formulas in the General Theory of Stable Models (Preliminary Report).
ICLP 2008: 672-676 |
| 16 | | Joohyung Lee,
Yunsong Meng:
On Loop Formulas with Variables.
KR 2008: 444-453 |
| 2007 |
|---|
| 15 | EE | Joohyung Lee,
Ravi Palla:
Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs.
CENT 2007 |
| 14 | EE | Paolo Ferraris,
Joohyung Lee,
Vladimir Lifschitz:
A New Perspective on Stable Models.
IJCAI 2007: 372-379 |
| 13 | EE | Martin Gebser,
Joohyung Lee,
Yuliya Lierler:
Head-Elementary-Set-Free Logic Programs.
LPNMR 2007: 149-161 |
| 2006 |
|---|
| 12 | | Martin Gebser,
Joohyung Lee,
Yuliya Lierler:
Elementary Sets of Logic Programs.
AAAI 2006 |
| 11 | EE | Paolo Ferraris,
Joohyung Lee,
Vladimir Lifschitz:
A generalization of the Lin-Zhao theorem.
Ann. Math. Artif. Intell. 47(1-2): 79-101 (2006) |
| 10 | EE | Joohyung Lee,
Fangzhen Lin:
Loop formulas for circumscription.
Artif. Intell. 170(2): 160-185 (2006) |
| 2005 |
|---|
| 9 | EE | Joohyung Lee:
A Model-Theoretic Counterpart of Loop Formulas.
IJCAI 2005: 503-508 |
| 2004 |
|---|
| 8 | | Joohyung Lee,
Fangzhen Lin:
Loop Formulas for Circumscription.
AAAI 2004: 281-286 |
| 7 | EE | Joohyung Lee:
Nondefinite vs. Definite Causal Theories.
LPNMR 2004: 141-153 |
| 6 | EE | Varol Akman,
Selim T. Erdogan,
Joohyung Lee,
Vladimir Lifschitz,
Hudson Turner:
Representing the Zoo World and the Traffic World in the language of the Causal Calculator.
Artif. Intell. 153(1-2): 105-140 (2004) |
| 5 | EE | Enrico Giunchiglia,
Joohyung Lee,
Vladimir Lifschitz,
Norman McCain,
Hudson Turner:
Nonmonotonic causal theories.
Artif. Intell. 153(1-2): 49-104 (2004) |
| 2003 |
|---|
| 4 | EE | Joohyung Lee,
Vladimir Lifschitz:
Loop Formulas for Disjunctive Logic Programs.
ICLP 2003: 451-465 |
| 3 | | Joohyung Lee,
Vladimir Lifschitz:
Describing Additive Fluents in Action Language C+.
IJCAI 2003: 1079-1084 |
| 2 | EE | Joohyung Lee,
Yogesh B. Gianchandani:
A scanning thermal microscopy system with a temperature dithering, servo-controlled interface circuit.
ISCAS (4) 2003: 812-815 |
| 2001 |
|---|
| 1 | EE | Joohyung Lee,
Vladimir Lifschitz:
Additive Fluents.
Answer Set Programming 2001 |
