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