CENTRIA's completed projects (ongoing in 2005)

• 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
• LOIS - Lexical Ontologies for Information Sharing
  Started in 2004 and was concluded in 2006
  Paulo Miguel Quaresma
• SIIUE.sac - Universidade de Évora's Integrated Information System
  Started in 2003 and was concluded in December 2006
  Salvador Abreu
• ABC - Intelligent Access to Knowledge Bases
  Started in October 2002 and was concluded in October 2005
  Paulo Miguel Quaresma, Irene Rodrigues
• AJACS - Yet Another Java Constraint Programming System
  Started in July 2002 and was concluded in 2005
  Salvador Abreu, Irene Rodrigues
• FLUX - Flexible Logic Updates
  Started in 2002 and was concluded in September 2005
  João Leite
• DIRPI - Desenvolvimento e Integração de Recursos para a Pesquisa de Informação
  Started in 2002 and was concluded in 2006
  Paulo Miguel Quaresma
• CoLogNet - European Network of Excellence in Computational Logic
  Started in January 2001 and was concluded in June 2005
  Luís Moniz Pereira, José Alferes, João Leite, Carlos Damásio