Qualitative constraint satisfaction problems: an extended framework with landmarks (Q490417): 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 @@
+Q4649542
@@ Property / cites work: Q4649542 / rank @@
+Normal rank
@@ Property / cites work @@
+Point algebras for temporal reasoning: Algorithms and complexity
+Normal rank
@@ Property / cites work @@
+Complexity of conservative constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+Q5452284
@@ Property / cites work: Q5452284 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3374865
@@ Property / cites work: Q3374865 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining topological and size information for spatial reasoning
+Normal rank
@@ Property / cites work @@
+A finite relation algebra with undecidable network satisfaction problem
+Normal rank
@@ Property / cites work @@
+Closure properties of constraints
@@ Property / cites work: Closure properties of constraints / rank @@
+Normal rank
@@ Property / cites work @@
+On topological consistency and realization
@@ Property / cites work: On topological consistency and realization / rank @@
+Normal rank
@@ Property / cites work @@
+REASONING WITH TOPOLOGICAL AND DIRECTIONAL SPATIAL INFORMATION
+Normal rank
@@ Property / cites work @@
+RCC8 binary constraint network can be consistently extended
+Normal rank
@@ Property / cites work @@
+Reasoning about cardinal directions between extended objects: the NP-hardness result
+Normal rank
@@ Property / cites work @@
+Q3455580
@@ Property / cites work: Q3455580 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about cardinal directions between extended objects
+Normal rank
@@ Property / cites work @@
+The logic of constraint satisfaction
@@ Property / cites work: The logic of constraint satisfaction / 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 @@
+Modelling and solving temporal reasoning as propositional satisfiability
+Normal rank
@@ Property / cites work @@
+A Canonical Model of the Region Connection Calculus
+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 @@
+Handbook of Spatial Logics
@@ Property / cites work: Handbook of Spatial Logics / rank @@
+Normal rank
@@ Property / cites work @@
+The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks
+Normal rank
@@ Property / cites work @@
+Reasoning about qualitative temporal information
@@ Property / cites work: Reasoning about qualitative temporal information / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative reasoning with directional relations
@@ Property / cites work: Qualitative reasoning with directional relations / rank @@
+Normal rank