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
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*. 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).
