logo ExceptionOWL

Nonmonotonic Extensions of Description Logics and OWL for defeasible inheritance with exceptions

by Gian Luca Pozzato


Reasoning About Surprising Scenarios in Description Logics of Typicality

Gian Luca Pozzato

In Stefano Cagnoni, Marco Gori, Marco Maratea, Eds, Proceedings of AI*IA 2016, to appear, 2016.

Detecting Sarcasm in Multimodal Social Platforms

R. Schifanella, P. de Juan, J. Tetreault, L. Cao

In Proceedings of ACM Multimedia Conference, 15-19 October 2016, Amsterdam, The Netherlands, to appear.
[pdf]

A Typicality-based Revision to Handle Exceptions in Description Logics

Roberto Micalizio and Gian Luca Pozzato

In Frank van Harmelen, Maria Fox, Gal Kaminka, Eds, Proceedings of ECAI 2016, to appear, 2016.

Typicality-based revision for handling exceptions in Description Logics

Roberto Micalizio and Gian Luca Pozzato

In Camillo Fiorentini, Alberto Momigliano, Eds, Proceedings of the 31st Convegno Italiano di Logica Computazionale (CILC 2016), CEUR Workshop Proceedings 1645, pp. 158 - 173, 2016.
[pdf]

ALC + Texp: beyond most likely scenarios in preferential Description Logics of typicality

Gian Luca Pozzato

In Camillo Fiorentini, Alberto Momigliano, Eds, Proceedings of the 31st Convegno Italiano di Logica Computazionale (CILC 2016), CEUR Workshop Proceedings 1645, pp. 37 - 52, 2016.
[pdf]

Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND

Nicola Olivetti and Gian Luca Pozzato

Intelligenza Artificiale 9(2), IOS Press, pp. 109 - 125, 2015.
[pdf]

Exploring new Frontiers of Social Computing with AThOS and ExceptionOWL

Matteo Baldoni, Cristina Baroglio, Roberto Micalizio, Gian Luca Pozzato

Proceedings of I-Cities 2015, Palermo, Italy, 2015
[pdf]

An internal calculus for Lewis counterfactual logics

Nicola Olivetti and Gian Luca Pozzato

Proceedings of TABLEAUX 2015 (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), Wroclaw, Poland, September 19-24, 2015
[pdf]

A Multi-Engine Theorem Prover for a Description Logic of Typicality

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato and Luca Violanti

Proceedings of AI*IA 2015 (14th Conference of the Italian Association for Artificial Intelligence), Ferrara, Italy, September 23-25, 2015
[pdf]