In this project we address the problem of reconciling different reasoning techniques to deal with inconsistent knowledge in dynamic, open and heterogeneous domains.
Ongoing since April 2011, concludes in March 2013.
Participating entity: Comenius University.
Principal researcher: Ján Šefránek.
Funding entity: Fundação Ciência e Tecnologia (MCTES).
Principal researcher: João Leite.
Researchers: Alfredo Gabaldon, Martin Slota, Matthias Knorr.