Projects details

  • ReDIK - Reasoning with Dynamic Inconsistent Knowledge
  • Apr 2011 - Mar 2013
  • In this project we address the problem of reconciling different reasoning techniques to deal with inconsistent knowledge in dynamic, open and heterogeneous domains.
  • FCT/2487/3/6/2011/S
  • NOVA LINCS - FCT NOVA
  • FCT-MCTES - Fundação para a Ciência e a Tecnologia (MEC)
  • 10000
  • 5000
  • 1 Apr 2011
  • 1 Mar 2013
  • João Leite [Coordinator], Ján Šefránek, Matthias Knorr [Researcher], Martin Slota, Alfredo Gabaldon
  • Comenius University, Bratislava