CENTRIA's completed projects (ongoing in 2002)

• 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
• RRA - Rational and Reactive Agents
  Started in October 2001 and was concluded in 2002
  Luís Moniz Pereira, José Alferes, Carlos Damásio, João Leite
• 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