Sauro, Luigi

7 publications

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

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