Bonatti, Piero A.

14 publications

IJCAI 2023 A False Sense of Security (Extended Abstract) Piero A. Bonatti

IJCAI 2023 Optimizing the Computation of Overriding in DLN (Extended Abstract) Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro

IJCAI 2020 Rational Closure for All Description Logics (Extended Abstract) Piero A. Bonatti

IJCAI 2018 Fast Compliance Checking in an OWL2 Fragment Piero A. Bonatti

IJCAI 2018 On the Logical Properties of the Description Logic DLN (Extended Abstract) Piero A. Bonatti, Luigi Sauro

IJCAI 2017 A New Semantics for Overriding in Description Logics (Extended Abstract) Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro

AAAI 2011 Adding Default Attributes to EL++ Piero A. Bonatti, Marco Faella, Luigi Sauro

JAIR 2011 Defeasible Inclusions in Low-Complexity DLs Piero A. Bonatti, Marco Faella, Luigi Sauro

IJCAI 2011 On the Complexity of EL with Defeasible Inclusions Piero A. Bonatti, Marco Faella, Luigi Sauro

IJCAI 2009 Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes Piero A. Bonatti, Marco Faella, Luigi Sauro

JAIR 2009 The Complexity of Circumscription in DLs Piero A. Bonatti, Carsten Lutz, Frank Wolter

AAAI 2008 Credulous Resolution for Answer Set Programming Piero A. Bonatti, Enrico Pontelli, Tran Cao Son

IJCAI 2003 On the Undecidability of Description and Dynamic Logics with Recursion and Counting Piero A. Bonatti

IJCAI 2001 Reasoning with Infinite Stable Models Piero A. Bonatti