scientific article; zbMATH DE number 2243382

MaRDI QIDQ5715695zbMATH OpenFDO

Authors David Gabelaia, Roman Kontchakov, F. Wolter, Agi Kurucz, Michael Zakharyaschev

Publication date 4 January 2006

Full work available at URL https://arxiv.org/abs/1110.2726

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 2086598
• Combining temporal logic systems
• Frontiers of Combining Systems
• On the Computational Complexity of Spatial Logics with Connectedness Constraints
• Temporalising Logics: Fifteen Years After

Cited in

(18)

• Probabilistic spatio-temporal knowledge bases: capacity constraints, count queries, and consistency checking
• Dynamic branching in qualitative constraint-based reasoning via counting local models
• On repairing and querying inconsistent probabilistic spatio-temporal databases
• Mechanising first-order temporal resolution
• Generalized qualitative spatio-temporal reasoning: complexity and tableau method
• Temporal Verification of Fault-Tolerant Protocols
• Combining Soft Linear Logic and Spatio-temporal Operators
• scientific article; zbMATH DE number 2086598 (Why is no real title available?)
• Dimensional inconsistency measures and postulates in spatio-temporal databases
• An automata-based approach for \(\text{CTL}^{*}\) with constraints
• A spatial logic with time and quantifiers
• Some results on modal axiomatization and definability for topological spaces
• 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
• An NP-complete fragment of fibring logic
• Verification of qualitative \(\mathbb Z\) constraints

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5715695)