CENTRIA's completed projects (ongoing in 2002)

• 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
• NASA - Knowledge Polishing
  Started in 2001 and was concluded in 2002
  Gregory Wheeler
• PROTEIN - Improving Constraint Solving to Predict Protein Structure
  Started in 2000 and was concluded in 2003
  Pedro Barahona, Ludwig Kripphal, Jorge Cruz, Marco Correia