Artale, Alessandro

13 publications

AAAI 2023 Complexity of Safety and coSafety Fragments of Linear Temporal Logic Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari

JAIR 2022 First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

IJCAI 2022 On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract) Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

AAAI 2021 Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter

IJCAI 2019 Do You Need Infinite Time? Alessandro Artale, Andrea Mazzullo, Ana Ozaki

IJCAI 2015 First-Order Rewritability of Temporal Ontology-Mediated Queries Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

AAAI 2015 Tractable Interval Temporal Propositional and Description Logics Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev

IJCAI 2013 Temporal Description Logic for Ontology-Based Data Access Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev

AAAI 2010 Past and Future of DL-Lite Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev

JAIR 2009 The DL-Lite Family and Relations Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev

IJCAI 2007 A Description Logic of Change Alessandro Artale, Carsten Lutz, David Toman

AAAI 2007 DL-Lite in the Light of First-Order Logic Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev

JAIR 1998 A Temporal Description Logic for Reasoning About Actions and Plans Alessandro Artale, Enrico Franconi