DTAI Projects
Knowledge Representation and Computation in Open Logic Programming
Period: 01-1996 → 12-1999
Subgroup: krr,analysis
Type: project
This project, supported by FWO-Vlaanderen, aims to study the role of the Open logic programming formalism as a basis for knowledge representation. The focus is on the study of the semantics of the language, its relation to other logic based formalisms, the different forms of reasoning and computation that can be performed on the developed representations and on different types of applications (in particular in software engineering, scheduling and temporal reasoning).
← return to the projects