Reasoning in Description Logics with Typicalities and Probabilities of Exceptions
Gian Luca Pozzato
In Alessandro Antonucci, Laurence Cholvy, Odile Papini, Eds, Proceedings of ECSQARU 2017 - 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Lecture Notes in Artificial Intelligence LNAI 10369, Springer, pp. 409 - 420, 2017.
RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, and Riccardo Renzulli
In Dario Della Monica, Aniello Murano, Sasha Rubin, Luigi Sauro, Eds, ICTCS 2017 and CILC 2017 - Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science (ICTCS 2017) and the 32nd Italian Conference on Computational Logic (CILC 2017), CEUR Workshop Proceedings 1949, pp. 306 - 320, 2017.
Hypersequent Calculi for Lewis Conditional Logics with Uniformity
Marianna Girlando, Bjoern Lellmann, Nicola Olivetti, Gian Luca Pozzato
In Claudia Nalon and Renate Schmidt, Eds, Proceedings of TABLEAUX 2017 - 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence LNAI 10501, Springer, pp. 131 - 148, 2017.
VINTE: An Implementation of Internal Calculi for Lewis Logics of Counterfactual Reasoning
Marianna Girlando, Bjoern Lellmann, Nicola Olivetti, Gian Luca Pozzato, and Quentin Vitalis,
In Claudia Nalon and Renate Schmidt, Eds, Proceedings of TABLEAUX 2017 - 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence LNAI 10501, Springer, pp. 149 - 159, 2017.
Extracting Graph Topological Information and Users’ Opinion
Mirko Lai, Marcella Tambuscio, Viviana Patti, Giancarlo Ruffo, and Paolo Rosso
In Proceedings of the International Conference of the Cross-Language Evaluation Forum for European Languages, 2017.
Reasoning About Surprising Scenarios in Description Logics of Typicality
Gian Luca Pozzato
In Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea, Eds, Advances in Artificial Intelligence: Proceedings of the 15th International Conference of the Italian Association for Artificial Intelligence, Lecture Notes in Artificial Intelligence LNAI 10037, Springer, pp. 418 - 432, 2016.
A Typicality-based Revision to Handle Exceptions in Description Logics
Roberto Micalizio and Gian Luca Pozzato
In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, Eds, Proceedings of ECAI 2016 - 22nd European Conference on Artificial Intelligence, FAIA (Frontiers in Artificial Intelligence and Applications) 285, IOS Press, pp. 1650 - 1651, 2016.
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.
Figurative messages and affect in Twitter: Differences between #irony, #sarcasm and #not
Emilio Sulis, Delia Irazú Hernández Farías, Paolo Rosso, Viviana Patti, and Giancarlo Ruffo
Knowledge-Based Systems, 108, p. 132-143, Elsevier, 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.
Standard Sequent Calculi for Lewis Logics of Counterfactuals
Marianna Girlando, Bjoern Lellmann, Nicola Olivetti, and Gian Luca Pozzato
In Loizos, A. and Kakas, A. C., Eds, Proceedings of JELIA 2016 - 15th European Conference On Logics In Artificial Intelligence, Lecture Notes in Artificial Intelligence LNAI 10021, Springer, pp. 272 - 287, 2016.
A standard and internal calculus for Lewis counterfactual logics
Nicola Olivetti and Gian Luca Pozzato
Proceedings of the 22nd Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2015), Lecture Notes in Artificial Intelligence LNAI 9323, Springer, pp. 270 - 286, 2015.