RCC8 binary constraint network can be consistently extended (Q2457645): Difference between revisions

@@ Property / Wikidata QID @@
+Q62042765
@@ Property / Wikidata QID: Q62042765 / 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.2005.08.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2028232494
@@ Property / OpenAlex ID: W2028232494 / 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 @@
+A relation-algebraic approach to the region connection calculus
+Normal rank
@@ Property / cites work @@
+A representation theorem for Boolean contact algebras
+Normal rank
@@ Property / cites work @@
+On binary constraint problems
@@ Property / cites work: On binary constraint problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4432966
@@ Property / cites work: Q4432966 / rank @@
+Normal rank
@@ Property / cites work @@
+Region connection calculus: Its models and composition table
+Normal rank
@@ Property / cites work @@
+Generalized region connection calculus
@@ Property / cites work: Generalized region connection calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+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 @@
+On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
+Normal rank
@@ Property / cites work @@
+Boolean connection algebras: A new approach to the Region-Connection Calculus
+Normal rank