Joohyung Lee

Assoc Professor

  • 1388 Citations
  • 19 h-Index
20032019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
Article

A generalization of the Lin-Zhao theorem

Ferraris, P., Lee, J. & Lifschitz, V., Jun 1 2006, In : Annals of Mathematics and Artificial Intelligence. 47, 1-2, p. 79-101 23 p.

Research output: Contribution to journalArticle

34 Scopus citations

A logic approach to modelling nomenclatural change

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

Research output: Contribution to journalArticle

3 Scopus citations

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

3 Scopus citations

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

Computing LP using ASP and MLN solvers

Lee, J., Talsania, S. & Wang, Y., Sep 1 2017, In : Theory and Practice of Logic Programming. 17, 5-6, p. 942-960 19 p.

Research output: Contribution to journalArticle

14 Scopus citations

First-order stable model semantics and first-order loop formulas

Lee, J. & Meng, Y., Sep 1 2011, In : Journal of Artificial Intelligence Research. 42, p. 125-180 56 p.

Research output: Contribution to journalArticle

11 Scopus citations

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

Loop formulas for circumscription

Lee, J. & Lin, F., Feb 1 2006, In : Artificial Intelligence. 170, 2, p. 160-185 26 p.

Research output: Contribution to journalArticle

15 Scopus citations
69 Scopus citations

Module theorem for the general theory of stable models

Babb, J. & Lee, J., Jul 1 2012, In : Theory and Practice of Logic Programming. 12, 4-5, p. 719-735 17 p.

Research output: Contribution to journalArticle

6 Scopus citations

On elementary loops of logic programs

Gebser, M., Lee, J. & Lierler, Y., Nov 1 2011, In : Theory and Practice of Logic Programming. 11, 6, p. 953-988 36 p.

Research output: Contribution to journalArticle

5 Scopus citations

On the stable model semantics for intensional functions

Bartholomew, M. & Lee, J., Jul 1 2013, In : Theory and Practice of Logic Programming. 13, 4-5, p. 863-876 14 p.

Research output: Contribution to journalArticle

7 Scopus citations
24 Scopus citations

Representing first-order causal theories by logic programs

Ferraris, P., Lee, J., Lierler, Y., Lifschitz, V. & Yang, F., May 1 2012, In : Theory and Practice of Logic Programming. 12, 3, p. 383-412 30 p.

Research output: Contribution to journalArticle

7 Scopus citations

Representing hybrid automata by action language modulo theories

Lee, J., Loney, N. & Meng, Y., Sep 1 2017, In : Theory and Practice of Logic Programming. 17, 5-6, p. 924-941 18 p.

Research output: Contribution to journalArticle

1 Scopus citations

Stable models and circumscription

Ferraris, P., Lee, J. & Lifschitz, V., Jan 2011, In : Artificial Intelligence. 175, 1, p. 236-263 28 p.

Research output: Contribution to journalArticle

109 Scopus citations
5 Scopus citations
16 Scopus citations

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

1 Scopus citations