Participation on completed projects

• DiFoS - Dialogical Foundations of Semantics
  Started in March 1st 2009 and was concluded in February 28 2013
  Reinhard Kahle, Francisco Azevedo, Gregory Wheeler, João Leite, Luís Moniz Pereira, Jesse Alama
• KRENI - Knowledge Representation with Negative Information
  Started in January 2006 and was concluded in January 2008
  Luís Moniz Pereira, José Alferes
• Computational Logic as a Foundation for Computer Science and Intelligent Systems
  Started in September 2004 and was concluded in September 2007
  Luís Moniz Pereira, José Alferes
• 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
• 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
• NetBe - Business to Business Software
  Started in January 2001 and was concluded in December 2001
  Luís Moniz Pereira
• ILPnet2 - the Network of Excellence in Inductive Logic Programming
  Started in 2001 and was concluded in 2003
  Luís Moniz Pereira
• PADYLP - Paraconsistent Dynamic Logic Programming
  Started in January 1998 and was concluded in 1998
  Luís Moniz Pereira, José Alferes
• 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