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
• ReDIK - Reasoning with Dynamic Inconsistent Knowledge
  Ongoing since April 2011, concludes in March 2013
  João Leite, Alfredo Gabaldon, Martin Slota, Matthias Knorr
• ASPEN - Answer Set Programming with BoolEaN Satisfiability
  Ongoing since March 2011, concludes in February 2014
  João Leite, José Alferes, Martin Slota