DTAI

Welcome to the KRR webpage.

The KRR group is a research group studying Knowledge Representation languages and Inference. It is a subgroup of DTAI, the KULeuven Artificial Intelligence research group. The head of our group is Marc Denecker.

Our research is centered around FO(.), an extension of classical logic (FO), with inductive definitions, aggregates, etc. FO(.) is an integration of classical logic and logic programming. You can read about this and about our other research interests here.