Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces (Q464617): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2014.07.012
@@ Property / DOI: 10.1016/j.artint.2014.07.012 / rank @@
-Normal rank
@@ Property / author @@
-Michael Zakharyashchev
@@ Property / author: Michael Zakharyashchev / rank @@
-Normal rank
@@ Property / author @@
+Michael Zakharyashchev
@@ Property / author: Michael Zakharyashchev / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6362035
@@ Property / zbMATH DE Number: 6362035 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+qualitative spatial reasoning
@@ Property / zbMATH Keywords: qualitative spatial reasoning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+spatial logic
@@ Property / zbMATH Keywords: spatial logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Euclidean space
@@ Property / zbMATH Keywords: Euclidean space / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+connectedness
@@ Property / zbMATH Keywords: connectedness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+satisfiability
@@ Property / zbMATH Keywords: satisfiability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+complexity
@@ Property / zbMATH Keywords: complexity / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62048606
@@ Property / Wikidata QID: Q62048606 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2014.07.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2162274427
@@ Property / OpenAlex ID: W2162274427 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729670
@@ Property / cites work: Q2729670 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of individuals based on 'connection'
@@ Property / cites work: A calculus of individuals based on 'connection' / rank @@
+Normal rank
@@ Property / cites work @@
+Individuals and points
@@ Property / cites work: Individuals and points / rank @@
+Normal rank
@@ Property / cites work @@
+Q4432966
@@ Property / cites work: Q4432966 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complemented disk algebra
@@ Property / cites work: On the complemented disk algebra / rank @@
+Normal rank
@@ Property / cites work @@
+KI-95: Advances in artificial intelligence. 19th Annual German Conference on artificial intelligence, Bielefeld, Germany, September 11-13, 1995. Proceedings
+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 @@
+Recognizing string graphs in NP
@@ Property / cites work: Recognizing string graphs in NP / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of string graphs
@@ Property / cites work: Decidability of string graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint networks of topological relations and convexity
+Normal rank
@@ Property / cites work @@
+Q3994998
@@ Property / cites work: Q3994998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3770650
@@ Property / cites work: Q3770650 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003555
@@ Property / cites work: Q4003555 / rank @@
+Normal rank
@@ Property / cites work @@
+String graphs requiring exponential representations
+Normal rank
@@ Property / cites work @@
+Q3138887
@@ Property / cites work: Q3138887 / rank @@
+Normal rank
@@ Property / cites work @@
+String graphs. II: Recognizing string graphs is NP-hard
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2014.07.012
@@ Property / DOI: 10.1016/J.ARTINT.2014.07.012 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:464617