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

@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SparQ
@@ Property / describes a project that uses: SparQ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL Light
@@ Property / describes a project that uses: HOL Light / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2011.07.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2144057119
@@ Property / OpenAlex ID: W2144057119 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:420800