Welcome! I am an associate professor in the School of Computing, Informatics, and Decision Systems Engineering (CIDSE) at Arizona State University.

Here is my contact information:

School of Computing, Informatics, and Decision Systems Engineering
Fulton Schools of Engineering
Arizona State University
P.O. Box 878809
Tempe, AZ 85287-8809

URL : peace.eas.asu.edu/joolee
office : BYENG 586
fax: 480-965-2751 (Attn: Joohyung Lee)

I lead the Automated Reasoning Group at ASU, which is part of the AI Lab at ASU and is one of the TAG teams.

I am interested in designing and building intelligent systems, which can perform automated reasoning based on the knowledge represented in a formal language, thereby intelligently handling open-ended tasks by "thinking." Towards this end, I have been working on Knowledge Representation and Reasoning, Computational Logic, Logic Programming, Commonsense Reasoning, Reasoning Under Uncertainty, Ontology Modeling, Cognitive Robotics, Security, and Question Answering.

More information and news can be found from my publication page and my research group homepage. (FAQ for students)

If you are interested in working in my group, please read this page first.

Here is a link to KR 2018, which was held in Tempe, Oct 29-Nov 2, 2018.

Here is the link to the AAAI 2016 tutorial on Answer Set Programming Modulo Theories.

Here is the link to the AAAI 2012 tutorial on Theory and Practice of Answer Set Programming.

Here is the link to the ICLP 2013 Homepage: 29TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP 2013).

1st Workshop on Action Languages, Process Modeling and Policy Reasoning (ALPP 2015), collocated with 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015)

Academic Genealogy

"The key insight might come to you only after you have spent hours in formula manipulation and given up in frustration to work on some nonintellectual task like riding your bike, mowing the lawn, or taking a shower. The subconscious is a powerful thing, especially after you have internalized the behavior of the symbols in your problem. ( From Computer-Aided Reasoning: An Approach, p 113) "