Joohyung Lee
Emeritus Professor, School of Computing and Augmented Intelligence
Emeritus Professor, Center for Cybersecurity and Trusted Foundations Affiliates
-
-
BYENG 586 TEMPE, AZ 85287-8809
-
-
Long Bio
Associate Professor Joohyung Lee joined the School of Computing and Augmented Intelligence at Arizona State University in 2005 after receiving his doctorate 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 National Science Foundation, DTO, IARPA and ETRI.
Education
- Ph.D. Computer Science, University of Texas-Austin 2005
- B.S.E. Computer Engineering, Seoul National University 1998
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).
Courses
2024 Summer
| Course Number | Course Title |
|---|---|
| CSE 795 | Continuing Registration |
| CSE 584 | Internship |
| CEN 584 | Internship |
2024 Spring
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 790 | Reading and Conference |
| CEN 599 | Thesis |
| CSE 580 | Practicum |
| CSE 599 | Thesis |
| CSE 580 | Practicum |
| CSE 799 | Dissertation |
2023 Fall
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 580 | Practicum |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
2023 Summer
| Course Number | Course Title |
|---|---|
| CSE 795 | Continuing Registration |
| CSE 584 | Internship |
| CEN 584 | Internship |
2023 Spring
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 790 | Reading and Conference |
| CSE 595 | Continuing Registration |
| CEN 599 | Thesis |
| CSE 580 | Practicum |
| CSE 599 | Thesis |
| CSE 580 | Practicum |
2022 Fall
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 580 | Practicum |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
2022 Summer
| Course Number | Course Title |
|---|---|
| CSE 584 | Internship |
| CEN 584 | Internship |
2022 Spring
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 790 | Reading and Conference |
| CSE 595 | Continuing Registration |
| CEN 599 | Thesis |
| CSE 580 | Practicum |
| CSE 599 | Thesis |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
2021 Fall
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 580 | Practicum |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
2021 Summer
| Course Number | Course Title |
|---|---|
| CSE 584 | Internship |
| CEN 584 | Internship |
2021 Spring
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 790 | Reading and Conference |
| CSE 595 | Continuing Registration |
| CEN 599 | Thesis |
| CSE 580 | Practicum |
| CSE 599 | Thesis |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
2020 Fall
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 580 | Practicum |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
| CSE 792 | Research |
2020 Summer
| Course Number | Course Title |
|---|---|
| CSE 584 | Internship |
| CEN 584 | Internship |
2020 Spring
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 790 | Reading and Conference |
| CSE 595 | Continuing Registration |
| CEN 599 | Thesis |
| CSE 580 | Practicum |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
2019 Fall
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 580 | Practicum |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
2019 Summer
| Course Number | Course Title |
|---|---|
| CSE 584 | Internship |
| CEN 584 | Internship |
2019 Spring
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 790 | Reading and Conference |
| CSE 595 | Continuing Registration |
| CEN 599 | Thesis |
| CSE 580 | Practicum |
| CSE 599 | Thesis |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
| CSE 259 | Logic in Computer Science |
| CSE 259 | Logic in Computer Science |
| CSE 259 | Logic in Computer Science |
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