 | 2009 |
|---|
| 6 |       | Paolo Ferraris,
Joohyung Lee,
Vladimir Lifschitz,
Ravi Palla:
Symmetric Splitting in the General Theory of Stable Models.
IJCAI 2009: 797-803 |
| 5 | | Tae-Won Kim,
Joohyung Lee,
Ravi Palla:
Circumscriptive Event Calculus as Answer Set Programming.
IJCAI 2009: 823-829 |
| 4 | | Joohyung Lee,
Ravi Palla:
System f2lp - Computing Answer Sets of First-Order Formulas.
LPNMR 2009: 515-521 |
| 2008 |
|---|
| 3 |  | Joohyung Lee,
Vladimir Lifschitz,
Ravi Palla:
A Reductive Semantics for Counting and Choice in Answer Set Programming.
AAAI 2008: 472-479 |
| 2 | | Joohyung Lee,
Vladimir Lifschitz,
Ravi Palla:
Safe Formulas in the General Theory of Stable Models (Preliminary Report).
ICLP 2008: 672-676 |
| 2007 |
|---|
| 1 | | Joohyung Lee,
Ravi Palla:
Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs.
CENT 2007 |
