• 1283 Citations
  • 18 h-Index
If you made any changes in Pure, your changes will be visible here soon.

Personal profile

Education/Academic qualification

PHD, University of Texas-Austin

… → 2005

BSE, Seoul National University

… → 1998

Fingerprint Dive into the research topics where Joohyung Lee is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 3 Similar Profiles
Semantics Engineering & Materials Science
Stable Models Mathematics
Answer Sets Mathematics
Answer Set Programming Mathematics
Electric grounding Engineering & Materials Science
Logic Programs Mathematics
Programming theory Engineering & Materials Science
Computer programming Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2003 2019

  • 1283 Citations
  • 18 h-Index
  • 44 Conference contribution
  • 20 Article
  • 1 Chapter

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

Wang, Y. & Lee, J., Jan 1 2019, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings. Lierler, Y., Woltran, S. & Balduccini, M. (eds.). Springer Verlag, p. 224-238 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11481 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Markov Decision Process
Decision theory
Computer programming languages
Probabilistic Programming

First-order stable model semantics with intensional functions

Bartholomew, M. & Lee, J., Aug 1 2019, In : Artificial Intelligence. 273, p. 56-93 38 p.

Research output: Contribution to journalArticle

Programming theory
Electric grounding
1 Citation (Scopus)

A Probabilistic Extension of Action Language BC+

Lee, J. & Wang, Y., Jul 1 2018, In : Theory and Practice of Logic Programming. 18, 3-4, p. 607-622 16 p.

Research output: Contribution to journalArticle

Answer Sets
Transition Systems
Probabilistic Reasoning

Translating LPOD and CR-Prolog2 into standard answer set programs

Lee, J. & Yang, Z., Jul 1 2018, In : Theory and Practice of Logic Programming. 18, 3-4, p. 589-606 18 p.

Research output: Contribution to journalArticle

Answer Sets
Logic Programs
1 Citation (Scopus)

A logic approach to modelling nomenclatural change

Franz, N., Zhang, C. & Lee, J., 2017, (Accepted/In press) In : Cladistics.

Research output: Contribution to journalArticle

type collections
type specimen

Projects 2006 2021