Determining Consistency of Topological Relations

Constraints

Volumn 3, Issue 2-3, 1998, Pages 213-225

  Bennett, Brandon ^a  

^a UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

Composition tables; Consistency; Topological relations

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; FORMAL LOGIC; PROBLEM SOLVING; THEOREM PROVING;

COMPOSITION TABLES; CONSISTENCY; CONSTRAINT SATISFACTION PROBLEMS (CSP); TOPOLOGICAL RELATIONS;

TOPOLOGY;

EID: 0010972379     PISSN: 13837133     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1009729828056     Document Type: Article

References (22)

1. J. F. Allen. (1981). An interval-based representation of temporal knowledge. Proceedings 7th IJCAI, pages 221-226.
2. J. F. Allen. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM 26: 832-843.
3. B. Bennett. (1994). Spatial reasoning with propositional logics. In J. Doyle, E. Sandewall and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), Morgan Kaufmann, San Francisco, CA.
4. B. Bennett. (1996a). Carving-up space: steps towards construction of an absolutely complete theory of spatial regions.Proceedings of JELIA'96.
5. B. Bennett. (1996b). Modal logics for qualitative spatial reasoning. Bulletin of the Interest Group in Pure and Applied Logic (IGPL).
6. B. Bennett, A. Isli, & A. G. Cohn. (1997). When does a composition table provide a complete and tractable proof procedure for a relational constraint language? Proceedings of the IJCAI-97 workshop on Spatial and Temporal Reasoning, Nagoya, Japan.
7. M. Egenhofer & R. Franzosa. (1991). Point-set topological spatial relations. International Journal of Geographical Information Systems 5(2): 161-174.
8. M. Grigni, D. Papadias, & C. Papadimitriou. (1995). Topological inference. In C. Mellish (ed.), Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), Vol. I, Morgan Kaufmann, pages 901-906.
9. J. Hudelmaier. (1993). An O (n log n)-space decision procedure for intuitionistic propositional logic. Journal of Logic and Computation 3: 63-75.
10. J. Kratochvíl. (1991). String graphs ii: recognizing string graphs is np-hard. Journal of Combinatorial Theory, Series B 52: 67-78.
11. S. Kripke. (1965). Semantical analysis of intuitionistic logic i. In J. Crossley and M. Dummett (eds), Formal Systems and Recursive Functions, North-Holland, pages 92-130.
12. P. Ladkin & R. Maddux, (1994), On binary constraint problems. Journal of the ACM 41: 435-469.
13. A. Mackworth. (1977). Consistency in networks of relations. Artificial Intellegence 8: 99-118.
14. J. McKinsey & A. Tarski. (1944). The algebra of topology. Annals of Methematics 45: 141-191.
15. B. Nebel. (1995a). Computational properties of qualitative spatial reasoning: First results. Procedings of the 19th German AI Conference.
16. B. Nebel. (1995b). Reasoning about temporal relations: a maximal tractable subset of Allen's interval algebra. Journal of the Association for Computing Machinery 42: 43-66.
17. A. Nerode. (1990). Some letcures on intuitionistic logic. In S. Homer, A. Nerode, R. Platek, G. Sacks, and A. Scedrov (eds), Logic and Computer Science, Vol. 1429 of Lecture Notes in Mathematics, Springer-Verlag, pages 12-59.
18. D. A. Randell, Z. Cui, & A. G. Cohn. (1992). A spatial logic based on regions and connection. Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, Morgan Kaufmann, San Mateo, pages 165-176.
19. J. Renz & B. Nebel. (1997). On the complexity of qualitative spatial reasoning: a maximal tractable fragment of the Region Connection Calculus. Proceedings of IJCAI-97.
20. A. Tarski. (1938). Der Aussagenkalkül und die Topologie [sentential calculus and topology]. Fundamenta Mathematicae 31: 103-134. English translation in A. Tarski, Logic, Semantics, Metamathematics. Oxford Clarendon Press, 1956.
21. A. Tarski. (1938). Der Aussagenkalkül und die Topologie [sentential calculus and topology]. Fundamenta Mathematicae 31: 103-134. English translation in A. Tarski, Logic, Semantics, Metamathematics. Oxford Clarendon Press, 1956.
22. M. Vilain & H. Kautz. (1986). Constraint propagation algorithms for temporal reasoning. Proceedings of the 5th AAAI conference, Philadelphia, pages 377-382.