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

1 January, 2002 to 31 December, 2005


  • 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.