• 1275 Citations
  • 18 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 Fingerprint is based on mining the text of the experts' scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 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

  • 1275 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
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
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
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
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

nomenclature
modeling
type collections
type specimen
gender

Projects 2006 2021