Joohyung Lee

Assoc Professor

  • 1366 Citations
  • 19 h-Index
20032021

Research output per year

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

Research Output

Filter
Article
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

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

2018

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

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
2017

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

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

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
2014
5 Scopus citations
15 Scopus citations
2013

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
2012

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
23 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
2011

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

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

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

108 Scopus citations
2006

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

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
2003
68 Scopus citations