scientific article; zbMATH DE number 1931652

zbMath1013.03027MaRDI QIDQ4708910

Frank Wolter, Alessandro Artale, Enrico Franconi, Michael Zakharyashchev

Publication date: 20 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2424/24240098.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Temporal logic (03B44)

Related Items (7)

Evolving objects in temporal information systems ⋮ Reasoning on temporal class diagrams: Undecidability results ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ Mechanising first-order temporal resolution ⋮ Temporal Verification of Fault-Tolerant Protocols ⋮ Foundations of Temporal Conceptual Data Models ⋮ DL-Lite with Temporalised Concepts, Rigid Axioms and Roles

This page was built for publication: