| |
| 2008 | ||
|---|---|---|
| 3 | Joohyung Lee, Vladimir Lifschitz, Ravi Palla: A Reductive Semantics for Counting and Choice in Answer Set Programming. AAAI 2008: 472-479 | |
| 2 | EE | Joohyung Lee, Vladimir Lifschitz, Ravi Palla: Safe Formulas in the General Theory of Stable Models (Preliminary Report). ICLP 2008: 672-676 |
| 2007 | ||
| 1 | EE | Joohyung Lee, Ravi Palla: Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs. CENT 2007 |
| 1 | Joohyung Lee | [1] [2] [3] |
| 2 | Vladimir Lifschitz | [2] [3] |