Participation on completed projects

• 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
• 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
• 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
• CompulogNet - Network of Excellence in Computational Logic
  Started in July 1996 and was concluded in 2000
  Luís Moniz Pereira, José Alferes
• 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