The KRR group is a research group studying Knowledge Representation languages and Inference.
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.
A fragment of FO(·) is implemented in IDP.