DTAI

FWO: Design, implementation and application of model generation techniques for ID-logic

Period: 01-2006 → 12-2009
Subgroup: krr,analysis
Type: project
Members:

• Marc Denecker
• Bart Demoen

ID-logic is a knowledge representation language extending classical logic with inductive definitions (ID) developed in the DTAI research group. The goal of the current project is the development, the implementation and the evaluation of inference methods for this logic based on state-of-the-art computational techniques from classical logic and logic programming. * In the first phase, the aim is to develop the model generator MIDL for ID-logic, integrating techniques from SAT (Satisfiability checking for propositional logic) and ASP (Answer Set programming) * In the second phase, MIDL will be extended with aggregates and weak constraints.

← return to the projects