Is a member of:

• Texas Action Group

Recent publications:

• Symmetric Splitting in the General Theory of Stable Models
• Stable Models and Circumscription
• Automated Reasoning about Actions
• Additive Fluents
• Nondefinite vs. Definite Causal Theories
• See all publications by Joohyung Lee