Participation on completed projects

• 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