- 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.
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:
- Paper A Multi-Engine Theorem Prover for a Description Logic of Typicality, by Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato and Luca Violanti has been accepted for presentation and publication at AI*IA 2015.
- The project ExceptionOWL: Nonmonotonic Extensions of Description Logics and OWL for defeasible inheritance with exceptions (principal investigator: Gian Luca Pozzato) started on 1st July 2015.