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.