ReDIK: Reasoning with Dynamic Inconsistent Knowledge

(FCT/Eslováquia-128404732617621)

 

Main Research Area

Computer Science

 

Keywords

Knowledge Representation

Reasoning about Actions

Preferences

Dynamic Logic Programming

 

Funding

€ 10,000.00

 

Institutions

Portuguese Research Unit: Centro de Inteligência Artificial (CENTRIA/FCT/UNL)

Slovak Research Unit: Comenius University

 

Team

Principal Investigators:

João Leite (Portugal)

Ján Šefránek (Slovakia)

Researchers

Martin Baláž

Michal Čertický

Alfredo Gabaldon

Martin Homola

Martin Slota

Home      Research       Teaching       Miscellaneous