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

yMo70i2jgC8uA3Y1UZX]#[d7VvzgktIv7nylQpTGP


Viviana Patti

+ 39 011 670 6804

yMo70i2jgC8uA3Y1U]#[mxg.isfQf6vb3rXjM


Gian Luca Pozzato

+ 39 011 670 6848

yMo70i2jgC8uA3Y1UZX]#[m@m5aaqtIv7nylQpTGP