You may find here the reports and deliverables of the
projects co-ordinated by the candidate, as mentioned in the
Curriculum Vitae:
- Project IST-2004-506779 REWERSE – “Reasoning on the
Web with Rules and Semantics” – “I5 – Evolution and
Reactivity”.
- Project POSI/SRI/40958/2001 FLUX – “FleXible Logical
Updates”
- Project Programa Base 2519/TIT/95 ACROPOLE – “ACções e RaciocíniO
em ProgramaçãO em Lógica Estendida”
