Combining topological and size information for spatial reasoning

Artificial Intelligence

Volumn 137, Issue 1-2, 2002, Pages 1-42

  Gerevini, Alfonso ^a   Renz, Jochen ^b  

^a UNIVERSITY OF BRESCIA   (Italy)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Computational complexity; Constraint satisfaction; Constraint based reasoning; Region Connection Calculus; Spatial reasoning

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; POLYNOMIALS; TOPOLOGY;

SPATIAL REASONING;

CONSTRAINT THEORY;

EID: 0036567648     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(02)00193-5     Document Type: Article

References (63)

1. Maintaining knowledge about temporal intervals
2. Spatial reasoning for image retrieval
3. Towards a geometry of common sense: A semantics and a complete axiomatization of mereotopology
4. Spatial reasoning with propositional logic
5. Modal logics for qualitative spatial reasoning
6. Combining multiple representations in a spatial reasoning system
7. A simple way to improve path-consistency in Interval Algebra networks
8. Connection structures
9. A pointless theory of space based on strong connection and congruence
10. Planar map graphs
11. A calculus of individuals based on connection
12. Qualitative representation of positional information
13. Qualitative spatial representation and reasoning with the region connection calculus
14. Qualitative simulation based on a logical formalism of space and time
15. Temporal constraint networks
16. A relation algebraic approach to the region connection calculus
17. Reasoning about binary topological relations
18. Query processing in spatial-query-by-sketch
19. Qualitative outline theory
20. Incremental algorithms for managing temporal constraints
21. On finding solutions in temporal constraint networks
22. Combining topological and qualitative size constraints for spatial reasoning
23. On computing the minimal labels in time point algebra networks
24. Efficient algorithms for qualitative reasoning about time
25. Using spatial logic to describe visual programming languages
26. Topological inference
27. Foundations of spatioterminological reasoning with description logics
28. A complete classification of tractability in RCC-5
29. A new polynomial time algorithm for linear programming
30. Integrating metric and qualitative temporal reasoning
31. A cognitive assessment of topological spatial relations: Results from an empirical investigation
32. On binary constraint problems
33. Effective solution of qualitative interval constraint problems
34. A canonical form for generalized linear constraints
35. Reasoning about cardinal directions
36. VITRA GUIDE: Multimodal route descriptions for computer assisted vehicle navigation
37. Consistency in networks of relations
38. The complexity of some polynomial network consistency algorithms for constraint satisfaction problems
39. Topological queries in spatial databases
40. INDU: An Interval & Duration Network
41. Order of magnitude reasoning
42. Naive topology: Modeling the force pump
43. A spatial logic based on regions and connection
44. A canonical model of the Region Connection Calculus
45. Maximal tractable fragments of the region connection calculus: A complete analysis
46. On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus
47. Towards cognitive adequacy of topological spatial relations
48. A new approach to the region-connection calculus
49. On the calculus of relations
50. Reasoning about qualitative temporal information
51. Constraint propagation algorithms for temporal reasoning
52. Constraint propagation algorithms for temporal reasoning: A revised report
53. Spatio-temporal representation and reasoning based on RCC-8
54. Measuring without measures: The delta-calculus