CENTRIA's completed projects (ongoing in 2003)

• 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
• Extensions au Logiciel Libre GNU Prolog
  Started in April 2002 and was concluded in May 2004
  Salvador Abreu
• 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
• COOPERATIVE - Automatic Clustering and Visualization of Legal Documents in a Cooperative Information Retrieval Web System
  Started in 2002 and was concluded in 2004
  Paulo Miguel Quaresma, Salvador Abreu, Irene Rodrigues, Teresa Gonçalves, Gomes Saias, Luis Rosário, Luis Simões
• POLAR
  Started in 2002 and was concluded in 2003
  Carlos Damásio
• IQN - Rational Mobile Agents and Systems of Agents (International Quality Network)
  Started in October 2001 and was concluded in 2003
  Luís Moniz Pereira, José Alferes
• 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
• TARDE - Tabulation And Reasoning in a Distributed Prolog Environment
  Started in 2001 and was concluded in 2004
  Carlos Damásio, José Alferes, João Leite
• GODE - Gestão dos Orgãos e Deputados Eleitos da Assembleia da República
  Started in 2001 and was concluded in 2003
  Joaquim Nunes Aparício
• ILPnet2 - the Network of Excellence in Inductive Logic Programming
  Started in 2001 and was concluded in 2003
  Luís Moniz Pereira
• PROTEIN - Improving Constraint Solving to Predict Protein Structure
  Started in 2000 and was concluded in 2003
  Pedro Barahona, Ludwig Kripphal, Jorge Cruz, Marco Correia