Projects details

FLUX - Flexible Logic Updates

Jan 2002 - Sep 2005

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

Project type:

Project reference:

Coordinated by:

Funding entities:

Total Funding Amount:

Local Funding Amount: 14500 Euro

Start Date: 1 Jan 2002

End Date: 1 Sep 2005

Participations João Leite [Coordinator]

Project results 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.

Url: