Joohyung Lee
Assoc Professor, School of Computing and Augmented Intelligence
Assoc Professor, Center for Cybersecurity and Trusted Foundations Affiliates
-
-
BYENG 586 TEMPE, AZ 85287-8809
-
Mail code: 8809Campus: Tempe
-
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
CV
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
2023 Spring
| Course Number | Course Title |
|---|---|
| CSE 580 | Practicum |
| CSE 599 | Thesis |
| CSE 580 | Practicum |
| CEN 599 | Thesis |
| CSE 595 | Continuing Registration |
| CSE 790 | Reading and Conference |
| CSE 590 | Reading and Conference |
| CSE 799 | Dissertation |
| CSE 795 | Continuing Registration |
| CSE 792 | Research |
| CSE 599 | Thesis |
| CSE 595 | Continuing Registration |
2022 Fall
| Course Number | Course Title |
|---|---|
| CSE 795 | Continuing Registration |
| CSE 595 | Continuing Registration |
| CSE 792 | Research |
| CSE 599 | Thesis |
| CSE 799 | Dissertation |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
| CSE 580 | Practicum |
2022 Summer
| Course Number | Course Title |
|---|---|
| CEN 584 | Internship |
| CSE 584 | Internship |
2022 Spring
| Course Number | Course Title |
|---|---|
| CSE 590 | Reading and Conference |
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CEN 599 | Thesis |
| CSE 790 | Reading and Conference |
| CSE 595 | Continuing Registration |
| CSE 580 | Practicum |
| CSE 599 | Thesis |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
2021 Fall
| Course Number | Course Title |
|---|---|
| CSE 795 | Continuing Registration |
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 580 | Practicum |
| CSE 799 | Dissertation |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
2021 Summer
| Course Number | Course Title |
|---|---|
| CEN 584 | Internship |
| CSE 584 | Internship |
2021 Spring
| Course Number | Course Title |
|---|---|
| CSE 790 | Reading and Conference |
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 792 | Research |
| 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 580 | Practicum |
| CSE 799 | Dissertation |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
| CSE 792 | Research |
2020 Summer
| Course Number | Course Title |
|---|---|
| CEN 584 | Internship |
| CSE 584 | Internship |
2020 Spring
| Course Number | Course Title |
|---|---|
| CSE 792 | Research |
| CSE 580 | Practicum |
| CSE 790 | Reading and Conference |
| CSE 599 | Thesis |
| CSE 580 | Practicum |
| CEN 599 | Thesis |
| CSE 595 | Continuing Registration |
| CSE 790 | Reading and Conference |
| CSE 590 | Reading and Conference |
| CSE 799 | Dissertation |
| CSE 795 | Continuing Registration |
| CSE 792 | Research |
| CSE 599 | Thesis |
| CSE 595 | Continuing Registration |
2019 Fall
| Course Number | Course Title |
|---|---|
| CSE 795 | Continuing Registration |
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 580 | Practicum |
| CSE 799 | Dissertation |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
2019 Summer
| Course Number | Course Title |
|---|---|
| CEN 584 | Internship |
| CSE 584 | Internship |
2019 Spring
| Course Number | Course Title |
|---|---|
| CSE 590 | Reading and Conference |
| CSE 795 | Continuing Registration |
| CSE 595 | Continuing Registration |
| CSE 792 | Research |
| CSE 599 | Thesis |
| CSE 595 | Continuing Registration |
| CSE 790 | Reading and Conference |
| CSE 799 | Dissertation |
| CEN 599 | Thesis |
| 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 |
| CSE 580 | Practicum |
2018 Fall
| Course Number | Course Title |
|---|---|
| CSE 580 | Practicum |
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 792 | Research |
| 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 |
| CSE 259 | Logic in Computer Science |
2018 Summer
| Course Number | Course Title |
|---|---|
| CSE 580 | Practicum |
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 795 | Continuing Registration |
| CSE 584 | Internship |
| CSE 790 | Reading and Conference |
| CSE 792 | Research |
| CSE 584 | Internship |
| CSE 795 | Continuing Registration |
| CEN 584 | Internship |
2018 Spring
| Course Number | Course Title |
|---|---|
| CEN 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 790 | Reading and Conference |
| CSE 599 | Thesis |
| CSE 580 | Practicum |
| CSE 599 | Thesis |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
| CSE 579 | Knowledge Representation |
| CEN 795 | Continuing Registration |
| CSE 595 | Continuing Registration |
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