Searching for authors named "Joohyung Lee" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
A knowledge module: buying and selling
- …A Knowledge Module: Buying and Selling Joohyung Lee Department of Computer Science and Engineering…
- Cited by 3 (0 self) – Add To MetaCart
-
Loop formulas for circumscription
- …Loop Formulas for Circumscription Joohyung Lee Department of Computer Sciences University of Texas…
- Cited by 9 (4 self) – Add To MetaCart
-
Yet another proof of the strong equivalence between propositional theories and logic programs
- … Joohyung Lee and Ravi Palla School of Computing and Informatics Arizona State University, Tempe, AZ, USA…
- Cited by 2 (1 self) – Add To MetaCart
-
Additive Fluents
- …Additive Fluents Joohyung Lee and Vladimir Lifschitz Department of Computer Sciences University…
- Cited by 42 (5 self) – Add To MetaCart
-
Loop Formulas for Disjunctive Logic Programs
- …Loop Formulas for Disjunctive Logic Programs Joohyung Lee and Vladimir Lifschitz Department…
- Cited by 30 (2 self) – Add To MetaCart
-
A Representation of the Zoo World in the Language of the Causal Calculator
- …A Representation of the Zoo World in the Language of the Causal Calculator Joohyung Lee…
- Add To MetaCart
-
Describing Additive Fluents in Action Language C+
- …Describing Additive Fluents in Action Language C+ Joohyung Lee and Vladimir Lifschitz Department…
- Add To MetaCart
-
Safe Formulas in the General Theory of Stable Models (Preliminary Report)
- …Safe Formulas in the General Theory of Stable Models (Preliminary Report) Joohyung Lee 1…
- Add To MetaCart
-
A Representation of the Zoo World in the Language of the Causal Calculator
- …A Representation of the Zoo World in the Language of the Causal Calculator Joohyung Lee…
- Cited by 6 (1 self) – Add To MetaCart
-
Causal Laws and Multi-Valued Fluents
- …Causal Laws and Multi-Valued Fluents Enrico Giunchiglia, DIST --- Universit a di Genova Joohyung…
- Cited by 8 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
