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