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
Paper
2013

A functional view of strong negation in answer set programming

Bartholomew, M. & Lee, J., Jan 1 2013, p. 49-64. 16 p.

Research output: Contribution to conferencePaper

2012

Two new definitions of stable models of logic programs with generalized quantifiers

Lee, J. & Meng, Y., Jan 1 2012, p. 131-144. 14 p.

Research output: Contribution to conferencePaper

2 Scopus citations
2008

Classical logic event calculus as answer set programming

Lee, J. & Palla, R., Jan 1 2008, p. 119-133. 15 p.

Research output: Contribution to conferencePaper