DTAI Projects
KIT: Computational Logic for Flexible Solutions to Applications
Period: 10-1998 → 03-2002
Subgroup: krr,analysis
Type: project
Members:
- Maurice Bruynooghe
- Marc Denecker
- Danny De Schreye
KIT project supported by the European Community
This project supports the coorporation between different research institutes all over Europe. Involved are:
The project funds the development of various systems for declarative problem specification. Currently several prototypes exist e.g. the A-system, and are being tested in an initial set of experiments and applications that involve mainly problems of planning and time-tabling.
Additionally the participants have organized several sessions on abduction at NMR2000 and IJCAI'01.
← return to the projects
