DTAI

  • Increase font size
  • Default font size
  • Decrease font size
DTAI KRR
Knowledge Representation and Reasoning (KRR)

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.

 

Last Updated on Monday, 07 January 2013 09:32