Alessandro Artale
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
13
Active years
1994–2025
Best venue rank
A*
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICDT | On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators. | Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2024 | KR | Non-Rigid Designators in Modal and Temporal Free Description Logics. | Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter |
| 2023 | AAAI | Complexity of Safety and coSafety Fragments of Linear Temporal Logic. | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari |
| 2023 | KR | A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari |
| 2023 | TIME | LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari |
| 2022 | IJCAI | 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 |
| 2021 | AAAI | 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 |
| 2021 | KR | On Free Description Logics with Definite Descriptions. | Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter |
| 2019 | BPM | Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints. | Alessandro Artale, Alisa Kovtunova, Marco Montali, Wil M. P. van der Aalst |
| 2019 | IJCAI | Do You Need Infinite Time?. | Alessandro Artale, Andrea Mazzullo, Ana Ozaki |
| 2017 | TIME | Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). | Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2015 | AAAI | Tractable Interval Temporal Propositional and Description Logics. | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2015 | IJCAI | First-Order Rewritability of Temporal Ontology-Mediated Queries. | Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2014 | ECAI | DL-Lite and Interval Temporal Logics: a Marriage Proposal. | Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov |
| 2013 | IJCAI | Temporal Description Logic for Ontology-Based Data Access. | Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
| 2013 | LPAR | The Complexity of Clausal Fragments of LTL. | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2012 | ECAI | DL-Lite with Attributes and Datatypes. | Alessandro Artale, Vladislav Ryzhikov, Roman Kontchakov |
| 2011 | DASFAA | Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case. | Maria Amalfi, Alessandro Artale, Andrea Cal, Alessandro Provetti |
| 2010 | AAAI | Past and Future of DL-Lite. | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2010 | ER | Full Satisfiability of UML Class Diagrams. | Alessandro Artale, Diego Calvanese, Yazmn Anglica Ibez-Garca |
| 2010 | ER | Complexity of Reasoning over Temporal Data Models. | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2010 | NSS | Reasoning about Relation Based Access Control. | Alessandro Artale, Bruno Crispo, Fausto Giunchiglia, Fatih Turkmen, Rui Zhang |
| 2008 | KR | Formalising Temporal Constraints on Part-Whole Relations. | Alessandro Artale, Nicola Guarino, C. Maria Keet |
| 2007 | AAAI | DL-Lite in the Light of First-Order Logic. | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev |
| 2007 | ER | Reasoning over Extended ER Models. | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2007 | IJCAI | A Description Logic of Change. | Alessandro Artale, Carsten Lutz, David Toman |
| 2007 | TIME | Temporalising Tractable Description Logics. | Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2004 | TIME | Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. | Alessandro Artale |
| 2002 | JELIA | A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. | Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev |
| 1999 | ER | Temporal ER Modeling with Description Logics. | Alessandro Artale, Enrico Franconi |
| 1999 | TIME | Introducing Temporal Description Logics. | Alessandro Artale, Enrico Franconi |
| 1998 | LREC | Coping with WORDNET sense proliferation. | Alessandro Artale, Anna Goy, Bernardo Magnini, Emanuelle Pianta, Carlo Strapparava |
| 1994 | KR | A Computational Account for a Description Logic of Time and Action. | Alessandro Artale, Enrico Franconi |