Alessandro Artale

From MaRDI portal
Revision as of 09:51, 24 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Alessandro Artale