Participation on completed projects

• MENTAL - An architecture for mental agents
  Started in March 1997 and was concluded in February 2000
  Luís Moniz Pereira, José Alferes, Carlos Damásio, João Leite
• LPMBD - Logic Programming and Model Based Diagnosis
  Started in January 1997 and was concluded in 1998
  Luís Moniz Pereira
• REAP - Reasoning in Logic Programming
  Started in October 1996 and was concluded in 2000
  Luís Moniz Pereira
• CompulogNet - Network of Excellence in Computational Logic
  Started in July 1996 and was concluded in 2000
  Luís Moniz Pereira, José Alferes
• RELING - Reseau Programation Logique, Contraintes, Langue Naturelle
  Started in January 1995 and was concluded in 1999
  Luís Moniz Pereira
• ACROPOLE - ACções e RaciocíniO em ProgramaçãO em Lógica Estendida
  Started in 1994 and was concluded in 1999
  José Alferes, Carlos Damásio, Luís Moniz Pereira, João Leite
• PROLOPPE - Programação em Lógica Paralela (Parallel Logic Programming)
  Concluded in April 1998
  Luís Moniz Pereira, José Alferes
• LPKRR - Logic Programming and Knowledge Representation and Reasoning
  Concluded in December 1998
  Luís Moniz Pereira, José Alferes