Alessandro Artale

From MaRDI portal
Person:862828

Available identifiers

zbMath Open artale.alessandroWikidataQ102427271 ScholiaQ102427271MaRDI QIDQ862828

List of research outcomes





PublicationDate of PublicationType
First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications2024-04-25Paper
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions2023-11-03Paper
Ontology-mediated query answering over temporal data: a survey (invited talk)2023-02-03Paper
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries2023-01-09Paper
First-order rewritability of ontology-mediated queries in linear temporal logic2021-11-02Paper
https://portal.mardi4nfdi.de/entity/Q34571992015-12-11Paper
A Cookbook for Temporal Conceptual Data Modelling with Description Logics2015-09-17Paper
The Complexity of Clausal Fragments of LTL2014-01-17Paper
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models2011-10-07Paper
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles2010-01-07Paper
The DL-Lite Family and Relations2009-12-10Paper
A Correspondence between Temporal Description Logics2009-11-11Paper
Foundations of Temporal Conceptual Data Models2009-07-09Paper
Evolving objects in temporal information systems2007-10-12Paper
Foundations of Information and Knowledge Systems2007-02-12Paper
Reasoning on temporal class diagrams: Undecidability results2007-01-24Paper
https://portal.mardi4nfdi.de/entity/Q47089102003-06-20Paper
A survey of temporal extensions of description logics2002-06-27Paper
https://portal.mardi4nfdi.de/entity/Q42307171999-02-09Paper
Part-whole relations in object-centered systems: An overview1997-02-27Paper

Research outcomes over time

This page was built for person: Alessandro Artale