A condensed semantics for qualitative spatial reasoning about oriented straight line segments (Q420800): Difference between revisions

@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative representation of positional information
+Normal rank
@@ Property / cites work @@
+Q2729670
@@ Property / cites work: Q2729670 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-dual configurations and regular graphs
@@ Property / cites work: Self-dual configurations and regular graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778762
@@ Property / cites work: Q4778762 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5663020
@@ Property / cites work: Q5663020 / rank @@
+Normal rank
@@ Property / cites work @@
+HOL Light: An Overview
@@ Property / cites work: HOL Light: An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to cyclic ordering of 2D orientations using ternary relation algebras
+Normal rank
@@ Property / cites work @@
+On binary constraint problems
@@ Property / cites work: On binary constraint problems / rank @@
+Normal rank
@@ Property / cites work @@
+Region connection calculus: Its models and composition table
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras
@@ Property / cites work: Relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Networks of constraints: Fundamental properties and applications to picture processing
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q3493315
@@ Property / cites work: Q3493315 / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative spatial reasoning with topological information
+Normal rank
@@ Property / cites work @@
+Weak Composition for Qualitative Spatial and Temporal Reasoning
+Normal rank
@@ Property / cites work @@
+On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
+Normal rank
@@ Property / cites work @@
+Composing cardinal direction relations
@@ Property / cites work: Composing cardinal direction relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386938
@@ Property / cites work: Q4386938 / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative reasoning with directional relations
@@ Property / cites work: Qualitative reasoning with directional relations / rank @@
+Normal rank