no code implementations • 15 Sep 2021 • Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Veronica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou
ICLP is the premier international event for presenting research in logic programming.
1 code implementation • 11 Jan 2021 • Antonio Lieto, Gian Luca Pozzato, Stefano Zoia, Viviana Patti, Rossana Damiano
We present DEGARI (Dynamic Emotion Generator And ReclassIfier), an explainable system for emotion attribution and recommendation.
no code implementations • 20 Apr 2020 • Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
In this work we describe preferential Description Logics of typicality, a nonmonotonic extension of standard Description Logics by means of a typicality operator T allowing to extend a knowledge base with inclusions of the form T(C) v D, whose intuitive meaning is that normally/typically Cs are also Ds.
no code implementations • 6 Nov 2018 • Antonio Lieto, Gian Luca Pozzato
The proposed logic relies on the logic of typicality ALC TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition.
no code implementations • 8 Jun 2014 • Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
We define a notion of rational closure for the logic SHIQ, which does not enjoys the finite model property, building on the notion of rational closure introduced by Lehmann and Magidor in [23].
no code implementations • 5 May 2013 • Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
We show that this semantics captures exactly a notion of rational closure which is a natural extension to Description Logics of Lehmann and Magidor's original one.