Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site

FLUX - Flexible Logic Updates

Project information

This project aims at establishing a exible declarative language for the specification of dynamic knowledge, and to apply it to realistic application domains.

Started in 2002 and was concluded in September 2005.


Principal researcher: João Leite.

Funding: 14500 Euro.


In the 3 year of duration 1 book, 2 book chapter, 6 journal papers, 45 conference paper were published with result of this project. Moreover 1 PhD thesis and 4 MSc thesis were successfully defended.

Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541