DTAI

FWO: Theory of nonmonotone Inductive Definitions and its use for building Knowledge-based systems

Period: 01-2002 → 12-2005
Subgroup: krr,analysis
Type: project
Members:

• Maurice Bruynooghe
• Marc Denecker
• Danny De Schreye

The overal goal of this project is to develop a clear conceptual framework clarifying the role and contributions of Logic Programming at the epistemological level, the knowledge representation level and the computational level. Exploiting ideas from the domain of Logic Programming, the project aims to develop a language for representing inductive definitions and assertions, to show the role of this language for knowledge representation and to use computational techniques from Logic Programming to develop efficient problem solvers for this language.

← return to the projects