KRR develops software aimed at combining knowledge with different inference tasks for the logic FO(·)IDP, an extension of first-order logic (FO) with types, aggregates, inductive definitions, bounded arithmetic, partial functions, etc.
Current systems
 |
 |
 |
 |
 |
 |
Older systems
KB-system demo
A java prototype tool demonstrating the use of logic and various forms of inference for interactive configuration problems. It demonstrates a principle that separates declarative KR from programming: the possibility of applying various forms of inference on the same logic specification: propagation, model checking, model expansion, model expansion with optimisation and explanation. The tool allows students to select their courses, with in the background a knowledge base on the requirements and allowed selections.
A-system
the A-system is an abductive query answering system for ID-logic. It is currently in use in a pilot project involving IBM and Imperial College London for monitoring policies
webpage. [Disclaimer: no more research is devoted to this topic, we do not provide support any more.]
MidL
MidL is a solver for the MNF format.