it gb
it gb

Knowledge representation, Automated Reasoning, Logic and ontologies


    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.



Valentina Gliozzi

+ 39 011 670 6748


Viviana Patti

+ 39 011 670 6804


Gian Luca Pozzato

+ 39 011 670 6848