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

z8mCMp7AJ5sbUfqwEax]#[etT0KnpKxnrUGMijDHp


Viviana Patti

+ 39 011 670 6804

z8mCMp7AJ5sbUfqwE]#[nie54zktIzeIMSpd7


Gian Luca Pozzato

+ 39 011 670 6848

z8mCMp7AJ5sbUfqwEax]#[nwkAxhvKxnrUGMijDHp