it gb
it gb

Knowledge representation, Automated Reasoning, Logic and ontologies

About

    The research activity of KARL in the fields of knowledge representation and automated reasoning starts at the end of the eighties with the study of non-classical logics, in particular modal and conditional logics, and the study of reasoning mechanisms for agent communication in the Semantic Web.

    In the recent years, the research activities of KARL members focused on the following activities:

    • proof methods for conditional and preferential logics for non-monotonic reasoning;
    • development of theorem provers for non-classical logics;
    • non monotonic extensions of Description Logics for prototypical reasoning;
    • specification and reasoning on protocol-based interaction;
    • verification of properties of protocol-based interactions;
    • commitment-based interaction protocols;
    • affective models based on Semantic Web ontologies.

News

Contacts


Valentina Gliozzi

+ 39 011 670 6748

LaZ1DVQH2I3l0sptRPq]#[1KGpBT8Rf02enZhgQ7i


Viviana Patti

+ 39 011 670 6804

LaZ1DVQH2I3l0sptR]#[@@Ruwf3.1BqStfoaJ


Gian Luca Pozzato

+ 39 011 670 6848

LaZ1DVQH2I3l0sptRPq]#[@NX.oNDRf02enZhgQ7i