Alessandro Artale

Available identifiers

zbMath Open artale.alessandroWikidataQ102427271 ScholiaQ102427271MaRDI QIDQ862828

List of research outcomes

Publication	Date of Publication	Type
First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications	2024-04-25	Paper
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions	2023-11-03	Paper
Ontology-mediated query answering over temporal data: a survey (invited talk)	2023-02-03	Paper
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries	2023-01-09	Paper
First-order rewritability of ontology-mediated queries in linear temporal logic	2021-11-02	Paper
https://portal.mardi4nfdi.de/entity/Q3457199	2015-12-11	Paper
A Cookbook for Temporal Conceptual Data Modelling with Description Logics	2015-09-17	Paper
The Complexity of Clausal Fragments of LTL	2014-01-17	Paper
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models	2011-10-07	Paper
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles	2010-01-07	Paper
The DL-Lite Family and Relations	2009-12-10	Paper
A Correspondence between Temporal Description Logics	2009-11-11	Paper
Foundations of Temporal Conceptual Data Models	2009-07-09	Paper
Evolving objects in temporal information systems	2007-10-12	Paper
Foundations of Information and Knowledge Systems	2007-02-12	Paper
Reasoning on temporal class diagrams: Undecidability results	2007-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4708910	2003-06-20	Paper
A survey of temporal extensions of description logics	2002-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4230717	1999-02-09	Paper
Part-whole relations in object-centered systems: An overview	1997-02-27	Paper

Research outcomes over time

This page was built for person: Alessandro Artale