Joohyung Lee

发表

A Representation of the Traffic World in the Language of the Causal Calculator

Varol Akman, Vladimir Lifschitz, Selim T. Erdoğan, 2001 .

Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +

Yi Wang, Joohyung Lee, 2021, Theory Pract. Log. Program..

Cplus 2 ASP : Computing Action Language C + in Answer Set Programming

Joohyung Lee, Joseph Babb, 2013 .

Describing Additive Fluents in Action Language +

Vladimir Lifschitz, Joohyung Lee, 2003 .

Automated Reasoning about Actions

Joohyung Lee, Joohyung Lee, 2005 .

MLN , Weak Constraints , and P-log

Zhun Yang, Joohyung Lee, Joohyung Lee, 2017 .

A Logic Approach to Modeling Nomenclatural Change

Nico M. Franz, Chao Zhang, Joohyung Lee, 2016, bioRxiv.

Stable Models of Formulas with Generalized Quantifiers

Joohyung Lee, Yunsong Meng, Joohyung Lee, 2012 .