Integrated Search Menu

Joohyung Lee

Profile photo
Assoc Professor
Faculty, TEMPE Campus, Mailcode 8809
Biography

Joohyung Lee joined ASU in 2005 after receiving his Ph.D. from the University of Texas at Austin. His research is in Artificial Intelligence. He is interested in designing and building intelligent systems, which can perform automated reasoning based on the knowledge represented in formal languages, handling open-ended tasks intelligently by “thinking.” He is leading the Automated Reasoning Group at ASU, whose research has been continuously supported by NSF, DTO, IARPA, and ETRI. 

Education

B.S.E., Computer Engineering, Seoul National University, 1998


Ph.D., Computer Science, University of Texas at Austin, 2005

Research Interests

Knowledge Representation, Logic Programming, Reasoning about Actions, Ontology Modeling, Context-awareness, Cognitive Robotics, and Security.

Publications
  • Joohyung Lee and Ravi Palla. Classical Logic Event Calculus as Answer Set Programming. In Working Notes of Answer Set Programming and Other Computing Paradigms (ASPOCP 2008) (2008).
  • Joohyung Lee and Yunsong Meng. On Loop Formulas with Variables. In Proc. Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008) (2008).
  • Joohyung Lee, Vladimir Lifschitz and Ravi Palla. A Reductive Semantics for Counting and Choice in Answer Set Programming. In Proc. Twenty-Third AAAI Conference on Artificial Intelligence (AAAI 2008) (2008).
  • Joohyung Lee, Vladimir Lifschitz and Ravi Palla. Safe Formulas in the General Theory of Stable Models (Preliminary Report). In Proc. 19th International Conference on Logic Programming (ICLP 2008) (2008).
  • Joohyung Lee and Ravi Palla. Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs. CEUR Workshop Proceedings (2007).
  • Martin Gebser, Joohyung Lee and Yuliya Lierler. Head-Elementary-Set-Free Logic Programs. In Proc. 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007), pages (Lecture Notes in Computer Science) (2007).
  • Paolo Ferraris, Joohyung Lee, and Vladimir Lifschitz. A New Perspective on Stable Models. In Proc. 20th International Joint Conference on Artificial Intelligence (2007).
  • Joohyung Lee and Fangzhen Lin. Loop Formulas for Circumscription. Artificial Intelligence (2006).
  • Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz. A Generalization of the Lin-Zhao Theorem. Annals of Mathematics and Artificial Intelligence (2006).
  • Joohyung Lee and Vladimir Lifschitz. A Knowledge Module: Buying and Selling. In Working Notes of AAAI 2006 Spring Symposium on Formalizing and Compiling Background Knowledge and its Applications to Knowledge Representation and Question Answering (2006).
  • Martin Gebser, Joohyung Lee and Yuliya Lierler. Elementary Sets for Logic Programs. In Proc. 11th International Workshop on Non-Monotonic Reasoning (NMR 2006) (2006).
  • Martin Gebser, Joohyung Lee and Yuliya Lierler. Elementary Sets for Logic Programs. In Proc. The Twenty-First National Conference on Artificial Intelligence (AAAI 2006) (2006).
Research Activity
  • Lee,Joohyung*. RI: Small: Knowledge Representation and Reasoning under Uncertainty with Probabilistic Answer Set Programming. NSF-CISE(8/1/2015 - 7/31/2018).
  • Lee,Joohyung*. RI: Small: Answer Set Programming Modulo Theories. NSF-CISE(8/15/2013 - 7/31/2016).
  • Lee,Joohyung*. Reasoning about Causes with Preferences and Uncertainty in Dynamic Biomedical Domains. (9/1/2011 - 12/31/2011).
  • Lee,Yann-Hang*, Lee,Joohyung. Home Information Remote Aggregation and Context Inference Prediction Technology Development. ETRI(10/1/2010 - 9/30/2015).
  • Lee,Yann-Hang*, Lee,Yann-Hang*, Lee,Joohyung. Phase 1: Home Information Remote Aggregation and Context Inference Prediction Technology Development. ETRI(10/1/2010 - 12/31/2012).
  • Lee,Joohyung*. RI: Small: Enhancing Nonmonotonic Declarative Knowledge Representation and Reasoning by Merging Answer Set Programming with Other Computing Paradigms. NSF-CISE(9/1/2009 - 8/31/2013).
  • Baral,Chitta Ranjan*, Lee,Joohyung, Ye,Jieping. Integrating Machine Learning and Knowledge Representation for Discovery of Social Goals of Groups and Group Members from their Language Usage. IARPA(8/24/2009 - 10/23/2011).
  • Lee,Joohyung*. SGER: Grounding Independent Reasoning in Answer Set Programming. NSF-CISE(9/1/2008 - 8/31/2009).
  • Baral,Chitta Ranjan*, Lee,Joohyung. Compiling AnsProlog to First-Order Theories - An Approach to Integrate AnsProlog Knowledge Bases with First-Order Knowledge Bases. DOD-NAVY(9/30/2006 - 12/31/2007).
Fall 2017
Course NumberCourse Title
CSE 492Honors Directed Study
CSE 580Practicum
CSE 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
Summer 2017
Course NumberCourse Title
CSE 580Practicum
CSE 584Internship
CEN 584Internship
CSE 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
Spring 2017
Course NumberCourse Title
CSE 579Knowledge Representation
CSE 580Practicum
CSE 590Reading and Conference
CSE 595Continuing Registration
CSE 599Thesis
CEN 599Thesis
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
Fall 2016
Course NumberCourse Title
CSE 294Special Topics
CSE 580Practicum
CSE 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
Summer 2016
Course NumberCourse Title
CSE 580Practicum
CSE 584Internship
CEN 584Internship
CSE 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
Spring 2016
Course NumberCourse Title
CSE 294Special Topics
CSE 580Practicum
CSE 590Reading and Conference
CSE 595Continuing Registration
CSE 599Thesis
CEN 599Thesis
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
Fall 2015
Course NumberCourse Title
CSE 355Intro Theoretical Computer Sci
CSE 571Artificial Intelligence
CSE 580Practicum
CSE 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
Summer 2015
Course NumberCourse Title
CSE 580Practicum
CSE 584Internship
CSE 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
Spring 2015
Course NumberCourse Title
CSE 580Practicum
CSE 590Reading and Conference
CSE 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
Fall 2014
Course NumberCourse Title
CSE 580Practicum
CSE 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
Summer 2014
Course NumberCourse Title
CSE 580Practicum
CSE 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
Spring 2014
Course NumberCourse Title
CSE 471Intro Artificial Intelligence
CSE 580Practicum
CSE 590Reading and Conference
CSE 591Seminar
CSE 595Continuing Registration
CSE 598Special Topics
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
Fall 2013
Course NumberCourse Title
ASU 101-CSEThe ASU Experience
CSE 459Logic for Computing Scientists
CSE 580Practicum
CSE 595Continuing Registration
CSE 598Special Topics
CSE 599Thesis
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
Summer 2013
Course NumberCourse Title
CSE 580Practicum
CSE 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
Spring 2013
Course NumberCourse Title
CSE 471Intro Artificial Intelligence
CSE 580Practicum
CSE 590Reading and Conference
CSE 591Seminar
CSE 595Continuing Registration
CSE 598Special Topics
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
Service
  • Program Committee: AAAI 2018, IJCAI 2017, AAAI 2017, LPNMR 2017, ASPOCP 2017, ICLP 2017, GTTV 2017, Cognitum 2017, CAID 2017, ASPIA 2017
  • Local chair for KR 2018
  • Workshop chair for LPNMR 2017