scientific article; zbMATH DE number 2243382
From MaRDI portal
Publication:5715695
zbMath1080.68682arXiv1110.2726MaRDI QIDQ5715695
Roman Kontchakov, Frank Wolter, David Gabelaia, Agi Kurucz, Michael Zakharyashchev
Publication date: 4 January 2006
Full work available at URL: https://arxiv.org/abs/1110.2726
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (15)
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method ⋮ First-order temporal verification in practice ⋮ On dynamic topological and metric logics ⋮ On the freeze quantifier in Constraint LTL: Decidability and complexity ⋮ An automata-theoretic approach to constraint LTL ⋮ On repairing and querying inconsistent probabilistic spatio-temporal databases ⋮ An NP-complete fragment of fibring logic ⋮ Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases ⋮ Verification of qualitative \(\mathbb Z\) constraints ⋮ Mechanising first-order temporal resolution ⋮ An Automata-based Approach for CTL⋆ With Constraints ⋮ Probabilistic spatio-temporal knowledge bases: capacity constraints, count queries, and consistency checking ⋮ Temporal Verification of Fault-Tolerant Protocols ⋮ Dynamic branching in qualitative constraint-based reasoning via counting local models ⋮ Some results on modal axiomatization and definability for topological spaces
This page was built for publication:
