CENTRIA's completed projects (ongoing in 2007)

• PROGICNET - Probability Logic and Probabilistic Networks
  Started in April 2006 and was concluded in April 2008
  Gregory Wheeler
• KRENI - Knowledge Representation with Negative Information
  Started in January 2006 and was concluded in January 2008
  Luís Moniz Pereira, José Alferes
• PRECISE - in Science and Engineering
  Started in April 2005 and was concluded in March 2008
  Pedro Barahona, Jorge Cruz
• DOMIR - Dialogs and Ontologies for Multimedia Information Retrieval
  Started in March 2005 and was concluded in 2007
  Irene Rodrigues, Paulo Miguel Quaresma, José Miguel, Gomes Saias, Luis Jorge Catela Quintano
• PRACTIC - Processing and Reuse of Advanced Computational Techniques to Improve Constraint Solving
  Started in 2005 and was concluded in December 2007
  Pedro Barahona, Francisco Azevedo, Marco Correia, Ruben Viegas
• Computational Logic as a Foundation for Computer Science and Intelligent Systems
  Started in September 2004 and was concluded in September 2007
  Luís Moniz Pereira, José Alferes
• RENA - Remote Detection of Mediterranean Water Eddies in the Northeast Atlantic
  Started in September 2004 and was concluded in August 2007
  Nuno C. Marques, Susana Nascimento, Marco Castellani, Armando Fernandes
• REWERSE - Reasoning on the Web with Rules and Semantics
  Started in March 1st 2004 and was concluded in March 1st 2008
  Luís Moniz Pereira, José Alferes, Carlos Damásio, Pedro Barahona, Ludwig Kripphal, Ricardo Amador