Knowledge representation and reasoning is an important area of Artificial Intelligence (AI) concerned with how knowledge can be represented in formal semantics and how to automate reasoning on the encoded knowledge (knowledge base).

We conduct research in both "low level" and "high level". To give you the idea about the research that we are doing, I suggest you to take a close look at the following papers:

• "Mathematical foundations of answer set programming," P. Ferraris and V. Lifschitz, in We Will Show Them! Essays in Honour of Dov Gabbay, Vol. 1, 2005, pp. 615-664.
• "Nonmonotonic causal theories," E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain and H. Turner, Artificial Intelligence, Vol. 153, 2004, pp. 49-104.

This is the system I developed as part of my dissertation: the Causal Calculator.

Our group meets every Friday from 2 to 3:30pm at BY 510.

Contact us if you want to know more about us.

Joohyung Lee