Knowledge Representation and Reasoning Group

We are a research group working in the area of Knowledge Representation and Reasoning (KR&R).

KR&R is the study of representing knowledge in such a way that a computer can reason about it (infer appropriate knowledge from it) to behave intelligently. Our research in KR&R has mainly been along two lines: on the mathematical foundations of KR&R, and their applications to computer sciences and other sciences (e.g., robotics, VLSI Design, historical linguistics, medical informatics, and computational biology).