CENTRIA's completed projects (ongoing in 2008)

• 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
• 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