Determining consistency of topological relations

DOI10.1023/A:1009729828056zbMath0911.68191OpenAlexW1483410603MaRDI QIDQ1273471

Brandon Bennett

Publication date: 4 May 1999

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1009729828056

zbMATH Keywords

composition table\(k\)-compactness

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (4)

Line-based affine reasoning in Euclidean plane ⋮ Fuzzy region connection calculus: representing vague topological information ⋮ Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic ⋮ The complexity of constraint satisfaction problems for small relation algebras

This page was built for publication: Determining consistency of topological relations