Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

ReDIK - Reasoning with Dynamic Inconsistent Knowledge

Project information
Description

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.

Project

Participating entity: Comenius University.

Principal researcher: Ján Šefránek.

Funding

Funding entity: Fundação Ciência e Tecnologia (MCTES).

Reference: FCT/2487/3/6/2011/S

Funding: 10000.

CENTRIA

Principal researcher: João Leite.

Researchers: Alfredo Gabaldon, Martin Slota, Matthias Knorr.

Funding: 5000.
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT