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
Conference contribution
2019

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

2017

LPMLN Weak constraints, and P-log

Lee, J. & Yang, Z., 2017, 31st AAAI Conference on Artificial Intelligence, AAAI 2017. AAAI press, p. 1170-1177 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Scopus citations
2016

Weighted rules under the stable model semantics

Lee, J. & Wang, Y., 2016, Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016. AAAI press, p. 145-154 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

19 Scopus citations
2015

Action language BC+: Preliminary report

Babb, J. & Lee, J., Jun 1 2015, Proceedings of the National Conference on Artificial Intelligence. AI Access Foundation, Vol. 2. p. 1424-1430 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

A probabilistic extension of the stable model semantics

Lee, J. & Wang, Y., 2015, Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report. AI Access Foundation, Vol. SS-15-04. p. 96-102 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Scopus citations

Automated reasoning about XACML 3.0 delegation using answer set programming

Lee, J., Wang, Y. & Zhang, Y., 2015, CEUR Workshop Proceedings. CEUR-WS, Vol. 1433.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Handling uncertainty in answer set programming

Wang, Y. & Lee, J., Jun 1 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. AI Access Foundation, Vol. 6. p. 4218-4219 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Markov logic style weighted rules under the stable model semantics

Lee, J., Meng, Y. & Wang, Y., 2015, CEUR Workshop Proceedings. CEUR-WS, Vol. 1433.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Online action language oBC+

Babb, J. & Lee, J., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9345. p. 97-111 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9345).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Recognizing social constructs from textual conversation

Aditya, S., Baral, C., Vo, N. H., Lee, J., Ye, J., Naung, Z., Lumpkin, B., Hastings, J., Scherl, R., Sweet, D. M. & Inclezan, D., 2015, NAACL HLT 2015 - 2015 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 1293-1298 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2014

Stable models of fuzzy propositional formulas

Lee, J. & Wang, Y., 2014, CEUR Workshop Proceedings. CEUR-WS, Vol. 1205. p. 114-126 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Stable models of multi-valued formulas: Partial versus total functions

Bartholomew, M. & Lee, J., 2014, 14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014. AAAI press, p. 583-586 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations
2013

Action language BC: Preliminary report

Lee, J., Lifschitz, V. & Yang, F., Dec 1 2013, IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence. p. 983-989 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

45 Scopus citations

Answer Set Programming Modulo Theories and reasoning about continuous changes

Lee, J. & Meng, Y., Dec 1 2013, IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence. p. 990-996 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Scopus citations

Cplus 2ASP: Computing action language C+ in answer set programming

Babb, J. & Lee, J., Oct 22 2013, Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings. p. 122-134 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Scopus citations

Functional stable model semantics and Answer Set Programming Modulo Theories

Bartholomew, M. & Lee, J., Dec 1 2013, IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence. p. 718-724 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Scopus citations

Progressive monitoring and treatment planning of diabetes mellitus in smart home environment

Pulkkinen, T., Son, Y. S., Lee, J., Lee, Y-H., Sallinen, M. & Park, J. H., Apr 24 2013, 2013 IEEE International Conference on Consumer Electronics, ICCE 2013. p. 206-207 2 p. 6486860. (Digest of Technical Papers - IEEE International Conference on Consumer Electronics).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations
2012

Reformulating temporal action logics in answer set programming

Lee, J. & Palla, R., Nov 7 2012, AAAI-12 / IAAI-12 - Proceedings of the 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference. p. 786-792 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Stable models of formulas with generalized quantifiers (preliminary report)

Lee, J. & Meng, Y., Dec 1 2012, Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012. p. 61-71 11 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 17).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Stable models of formulas with intensional functions

Bartholomew, M. & Lee, J., Jan 1 2012, 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012. Institute of Electrical and Electronics Engineers Inc., p. 2-12 11 p. (Proceedings of the International Workshop on Temporal Representation and Reasoning).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

19 Scopus citations
2011

First-order extension of the FLP stable model semantics via modified circumscription

Bartholomew, M., Lee, J. & Meng, Y., Dec 1 2011, IJCAI 2011 - 22nd International Joint Conference on Artificial Intelligence. p. 724-730 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Scopus citations

First-order semantics of aggregates in answer set programming via modified circumscription

Bartholomew, M., Lee, J. & Meng, Y., Aug 15 2011, Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report. p. 16-22 7 p. (AAAI Spring Symposium - Technical Report; vol. SS-11-06).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

Integrating rules and ontologies in the first-order stable model semantics (preliminary report)

Lee, J. & Palla, R., Aug 15 2011, Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report. p. 56-62 7 p. (AAAI Spring Symposium - Technical Report; vol. SS-11-06).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Integrating rules and ontologies in the first-order stable model semantics (Preliminary Report)

Lee, J. & Palla, R., May 13 2011, Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Proceedings. p. 248-253 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6645 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Representing the language of the causal calculator in answer set programming

Casolary, M. & Lee, J., Dec 1 2011, Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011. p. 51-61 11 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 11).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Scopus citations
2010

A decidable class of groundable formulas in the general theory of stable models

Bartholomew, M. & Lee, J., Jan 1 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the 12th International Conference, KR 2010. Institute of Electrical and Electronics Engineers Inc., p. 477-485 9 p. (Proceedings of the International Workshop on Temporal Representation and Reasoning).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Representing and reasoning about web access control policies

Ahn, G-J., Hu, H., Lee, J. & Meng, Y., Dec 1 2010, Proceedings - 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010. p. 137-146 10 p. 5676253. (Proceedings - International Computer Software and Applications Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

39 Scopus citations

Situation calculus as answer set programming

Lee, J. & Palla, R., Jan 1 2010, AAAI-10 / IAAI-10 - Proceedings of the 24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference. AI Access Foundation, p. 309-314 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations
2009

Circumscriptive event calculus as answer set programming

Kim, T. W., Lee, J. & Palla, R., Jan 1 2009, IJCAI-09 - Proceedings of the 21st International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 823-829 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

25 Scopus citations

On reductive semantics of aggregates in answer set programming

Lee, J. & Meng, Y., Oct 16 2009, Logic Programming and Nonmonotonic Reasoning - 10th International Conference, LPNMR 2009, Proceedings. p. 182-195 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5753 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

25 Scopus citations

Symmetric splitting in the general theory of stable models

Ferraris, P., Lee, J., Lifschitz, V. & Palla, R., Jan 1 2009, IJCAI-09 - Proceedings of the 21st International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 797-803 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

32 Scopus citations

System f2lp - computing answer sets of first-order formulas

Lee, J. & Palla, R., Oct 16 2009, Logic Programming and Nonmonotonic Reasoning - 10th International Conference, LPNMR 2009, Proceedings. p. 515-521 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5753 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

28 Scopus citations
2008

A reductive semantics for counting and choice in answer set programming

Lee, J., Lifschitz, V. & Palla, R., Dec 24 2008, AAAI-08/IAAI-08 Proceedings - 23rd AAAI Conference on Artificial Intelligence and the 20th Innovative Applications of Artificial Intelligence Conference. p. 472-479 8 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

35 Scopus citations

On loop formulas with variables

Lee, J. & Meng, Y., Jan 1 2008, Principles of Knowledge Representation and Reasoning: Proceedings of the 11th International Conference, KR 2008. Institute of Electrical and Electronics Engineers Inc., p. 444-453 10 p. (Proceedings of the International Workshop on Temporal Representation and Reasoning).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Scopus citations

Safe formulas in the general theory of stable models (preliminary report)

Lee, J., Lifschitz, V. & Palla, R., Dec 1 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. p. 672-676 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Scopus citations
2007

A new perspective on stable models

Ferraris, P., Lee, J. & Lifschitz, V., 2007, IJCAI International Joint Conference on Artificial Intelligence. p. 372-379 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

99 Scopus citations

Head-elementary-set-free logic programs

Gebser, M., Lee, J. & Lierler, Y., Dec 1 2007, Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Proceedings. p. 149-161 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4483 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations

Yet another proof of the strong equivalence between propositional theories and logic programs

Lee, J. & Palla, R., 2007, CEUR Workshop Proceedings. Vol. 265. p. 1-12 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations
2006

A knowledge module: Buying and selling

Lee, J. & Lifschitz, V., Aug 21 2006, Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering - Papers from the AAAI Spring Symposium, Technical Report. p. 28-32 5 p. (AAAI Spring Symposium - Technical Report; vol. SS-06-05).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Elementary sets for logic programs

Gebser, M., Lee, J. & Lierler, Y., Nov 13 2006, Proceedings of the 21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference, AAAI-06/IAAI-06. p. 244-249 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Scopus citations
2005

A model-theoretic counterpart of loop formulas

Lee, J., 2005, IJCAI International Joint Conference on Artificial Intelligence. p. 503-508 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

66 Scopus citations
2004

Loop formulas for circumscription

Lee, J. & Lin, F., 2004, Proceedings of the National Conference on Artificial Intelligence. p. 281-286 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Nondefinite vs. Definite causal theories

Lee, J., Jan 1 2004, Logic Programming and Nonmonotonic Reasoning. Niemela, I. & Lifschitz, V. (eds.). Springer Verlag, p. 141-153 13 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 2923).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Scopus citations
2003

Describing additive fluents in action language C+

Lee, J. & Lifschitz, V., 2003, IJCAI International Joint Conference on Artificial Intelligence. p. 1079-1084 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

23 Scopus citations