Alessandro Artale

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications ACM Transactions on Computational Logic	2024-04-25	Paper
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ACM Transactions on Computational Logic	2023-11-03	Paper
Ontology-mediated query answering over temporal data: a survey (invited talk) 1515.68296	2023-02-03	Paper
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries Journal of Artificial Intelligence Research	2023-01-09	Paper
First-order rewritability of ontology-mediated queries in linear temporal logic Artificial Intelligence	2021-11-02	Paper
DL-Lite with attributes and datatypes	2015-12-11	Paper
A Cookbook for Temporal Conceptual Data Modelling with Description Logics ACM Transactions on Computational Logic	2015-09-17	Paper
The complexity of clausal fragments of LTL Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models Frontiers of Combining Systems	2011-10-07	Paper
DL-Lite with temporalised concepts, rigid axioms and roles Frontiers of Combining Systems	2010-01-07	Paper
The DL-Lite Family and Relations Journal of Artificial Intelligence Research	2009-12-10	Paper
A Correspondence between Temporal Description Logics Journal of Applied Non-Classical Logics	2009-11-11	Paper
Foundations of Temporal Conceptual Data Models Conceptual Modeling: Foundations and Applications	2009-07-09	Paper
Evolving objects in temporal information systems Annals of Mathematics and Artificial Intelligence	2007-10-12	Paper
Foundations of Information and Knowledge Systems Lecture Notes in Computer Science	2007-02-12	Paper
Reasoning on temporal class diagrams: Undecidability results Annals of Mathematics and Artificial Intelligence	2007-01-24	Paper
scientific article; zbMATH DE number 1931652 (Why is no real title available?)	2003-06-20	Paper
A survey of temporal extensions of description logics Annals of Mathematics and Artificial Intelligence	2002-06-27	Paper
scientific article; zbMATH DE number 1249651 (Why is no real title available?)	1999-02-09	Paper
Part-whole relations in object-centered systems: An overview Data & Knowledge Engineering	1997-02-27	Paper

Research outcomes over time

This page was built for person: Alessandro Artale