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
• FLUX - Flexible Logic Updates
  Started in 2002 and was concluded in September 2005
  João Leite
• 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
• TARDE - Tabulation And Reasoning in a Distributed Prolog Environment
  Started in 2001 and was concluded in 2004
  Carlos Damásio, José Alferes, João Leite
• 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
• 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