Faella, Marco

6 publications

AAAI 2023 Reachability Games Modulo Theories with a Bounded Safety Player Marco Faella, Gennaro Parlato
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