Participation on ongoing projects

• ERRO - Efficient Reasoning with Rules and Ontologies
  Ongoing since March 2012, concludes in February 2015
  João Leite, Carlos Damásio, José Alferes, Matthias Knorr, Martin Slota
• ASPEN - Answer Set Programming with BoolEaN Satisfiability
  Ongoing since March 2011, concludes in February 2014
  João Leite, José Alferes, Martin Slota
• International M.Sc. Program in Computational Logic
  Ongoing since September 2004, concludes in September 2009
  Luís Moniz Pereira, José Alferes, João Leite