scientific article; zbMATH DE number 1753151
From MaRDI portal
Publication:4533361
zbMath0994.68106MaRDI QIDQ4533361
Publication date: 10 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (16)
Spatial reasoning in a fuzzy region connection calculus ⋮ Extension Properties of Boolean Contact Algebras ⋮ Modelling and solving temporal reasoning as propositional satisfiability ⋮ On the realisability of double-cross matrices by polylines in the plane ⋮ Qualitative reasoning with directional relations ⋮ A modal logic framework for reasoning about comparative distances and topology ⋮ Unnamed Item ⋮ Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments ⋮ Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms ⋮ An initial study of time complexity in infinite-domain constraint satisfaction ⋮ Dynamic Branching in Qualitative Constraint Networks via Counting Local Models ⋮ Unnamed Item ⋮ Dynamic branching in qualitative constraint-based reasoning via counting local models ⋮ A new approach to cyclic ordering of 2D orientations using ternary relation algebras ⋮ Collective singleton-based consistency for qualitative constraint networks: theory and practice ⋮ Generalized region connection calculus
This page was built for publication:
