Joohyung Lee

Assoc Professor

  • 1330 Citations
  • 19 h-Index
20032021
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.

  • 5 Similar Profiles
Semantics Engineering & Materials Science
Stable Models Mathematics
Answer Set Programming Mathematics
Answer Sets Mathematics
Logic Programs Mathematics
Electric grounding Engineering & Materials Science
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

Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language

Wang, Y. I., Zhang, S. & Lee, J., Sep 1 2019, In : Theory and Practice of Logic Programming. 19, 5-6, p. 1090-1106 17 p.

Research output: Contribution to journalArticle

Open Access
Behavioral research
Probabilistic Programming
Partially Observable Markov Decision Process
Logic programming
Engineering research

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
Semantics
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
Semantics
semantics
programming
Electric grounding
2 Citations (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
Planning
Notation
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
Standards
Alternatives
Language

Projects 2006 2021