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
  • Yi Wang, Joohyung Lee and Doo Soon Kim. A Logic Based Approach to Answering Questions about Alternatives in DIY Domains. In Proceedings of the 29th Conference on Innovative Applications of Artificial Intelligence (IAAI 2017), pages 4753–4759, 2017.
  • Joohyung Lee and Zhun Yang. LPMLN , Weak Constraints, and P-log. In Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017), pages 1170–1177, 2017.
  • Joohyung Lee, Nikhil Loney and Yunsong Meng. Representing Hybrid Automata by Action Language Modulo Theories.. Journal of Theory and Practice of Logic Programming (TPLP), to appear, 2017.
  • Joohyung Lee, Samidh Talsania, and Yi Wang. Computing LPMLN Using ASP and MLN Solvers. Journal of Theory and Practice of Logic Programming (TPLP), to appear, 2017.
  • Nico Franz, Chao Zhang and Joohyung Lee. A Logic Approach to Modeling Nomenclatural Change. Cladistics, ISSN 1096-0031, 2017.
  • Joohyung Lee and Yi Wang. Fuzzy Propositional Formulas under the Stable Model Semantics. In the Special Issue on Logics for Reasoning about Preferences, Uncertainty and Vagueness of the IfCoLog Journal of Logics and their Applications, to appear, 2017.
  • Joohyung Lee and Yi Wang. Weighted Rules under the Stable Model Semantics. In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), pages 145–154, 2016.
Research Activity
  • ​​Lee,Joohyung*. Artificial Intelligence Based Medical Decision Support System Framework Design. ETRI (6/1/2016-11/30/2016). 
  • Lee,Joohyung*. AI Reasoning-Based Method for Drug-Taking Behavior Prediction. ETRI (4/1/2017-12/5/2017). 
  • 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*. Application of Probabilistic Answer Set Programming. Bosch (1/19/2016-11/30/2016). 
  • 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).
Summer 2018
Course NumberCourse Title
CSE 580Practicum
CSE 584Internship
CEN 584Internship
CSE 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
Spring 2018
Course NumberCourse Title
CSE 579Knowledge Representation
CSE 580Practicum
CSE 590Reading and Conference
CSE 595Continuing Registration
CEN 599Thesis
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CEN 795Continuing Registration
CSE 795Continuing Registration
CSE 799Dissertation
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
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