scientific article; zbMATH DE number 1249651
From MaRDI portal
Publication:4230717
zbMath0911.68190MaRDI QIDQ4230717
Enrico Franconi, Alessandro Artale
Publication date: 9 February 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
A family of dynamic description logics for representing and reasoning about actions ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ Ontology-Mediated Query Answering with Data-Tractable Description Logics ⋮ Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited ⋮ Mechanising first-order temporal resolution ⋮ Temporal agent programs ⋮ Non-primitive recursive decidability of products of modal logics with expanding domains ⋮ On coarser interval temporal logics ⋮ Computational complexity of hybrid interval temporal logics ⋮ Understanding dynamic scenes ⋮ Temporal Logics of Knowledge and their Applications in Security ⋮ Combining interval-based temporal reasoning with general TBoxes ⋮ Elaboration tolerance through object-orientation ⋮ \({\mathcal E}\)-connections of abstract description systems
This page was built for publication:
