Empiricism and rationalism in region-based theories of space

Fundamenta Informaticae

Volumn 46, Issue 1-2, 2001, Pages 159-186

  Pratt Hartmann, Ian ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Mereology; Ontology; Spatial reasoning; Topology

Indexed keywords

EID: 0035302325     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (24)

1. N. Asher and L. Vieu. Toward a geometry of common sense - A semantics and a complete axiomatization of mereotopology In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI 95), pages 846-852, 1995.
2. L. Biacino and G. Gerla. Connection structures. Notre Dame Journal of Formal Logic, 32(2):242-247, 1991.
3. S. Borgo, N. Guarino, and C. Masolo. A pointless theory of space based on strong connection and congruence. In L. C. Aiello, J. Doyle, and S. C. Shapiro, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR 96), pages 220-229, San Francisco, CA., 1996. Morgan Kaufmann Publishers.
4. C. C. Chang and H. J. Keisler. Model Theory. North Holland, Amsterdam, 3rd edition, 1990.
5. B. L. Clark. Individuals and points. Notre Dame Journal of Formal Logic. 26(1):61-75, 1985.
6. B. L. Clarke. A calculus of individuals based on "connection". Notre Dame Journal of Formal Logic, 22(3):204-218, 1981.
7. A. G. Cohn, L. K. Schubert, and S. C. Schubert, editors. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98), San Francisco, CA, 1998, Morgan Kaufman.
8. Ernest Davis, Nicholas Mark Gotts, and Anthony G. Cohn. Constraint networks of topological relations and convexity. Constraints, 4(3):241-280, 1999.
9. T. de Laguna. Point, line, and surface, as sets of solids. The Journal of Philosophy, 19:449-461, 1922.
10. Christoph Dornheim. Undecidability of plane polygonal mereotopology. In Cohn et al. [7], pages 342-353.
11. N. M. Gotts, J. M. Gooday, and A. G. Cohn. A connection based approach to commonsense topological description and reasoning. Monist, 79(1):51-75, 1996.
12. L. Henkin, P. Suppes, and A. Tarski, editors. The Axiomatic Method, with Special Reference to Geometry and Physics. North-Holland Publishing Co., Amsterdam, 1959.
13. P. T. Johnstone. Stone Spaces. Cambridge University Press, 1982.
14. O. Lemon. Semantical foundations of spatial logics. In L. C. Aiello, J. Doyle, and S. C. Shapiro, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR'96), pages 212-219, San Francisco, CA., 1996. Morgan Kaufmann Publishers.
15. M. H. A. Newman. Elements of the Topology of Plane Sets of Points. Cambridge University Press, Cambridge, 1964.
16. C. H. Papadimitriou, D. Suciu, and V. Vianu. Topological queries in spatial databases. In Proceedings of PODS'96, pages 81-92. ACM, 1996.
17. I. Pratt and D. Schoop. A complete axiom system for polygonal mereotopology of the real plane. Journal of Philosophical Logic, 27(6):621-658, 1998.
18. I. Pratt and D. Schoop. Expressivity in polygonal, plane mereotopology. Journal of Symbolic Logic, 65(2):822-838, 2000.
19. Ian Pratt. First-order spatial representation languages with convexity. Spatial Cognition and Computation, 1:181-204, 1999.
20. Ian Pratt and Oliver Lemon. Ontologies for plane, polygonal mereotopology. Notre Dame Journal of Formal Logic, 38(2):225-245, 1997.
21. D. A. Randell, Z. Cui, and A. G. Cohn. A spatial logic based on regions and connection. In B. Nebel, C. Rich, and W. Swartout, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR '92), pages 165-176, Los Altos, CA, 1992. Morgan Kaufmann Publishers.
22. Jochen Renz. A canonical model of the region connection calculus. In Cohn et al. [7], pages 330-341.
23. Alfred Tarski. What is Elementary Geometry? In L. Henkin, P. Suppes, and A. Tarski, editors. The Axiomatic Method, with Special Reference to Geometry and Physics, pages 16-29. North-Holland Publishing Co., Amsterdam, 1959.
24. A. N. Whitehead. Process and Reality. The MacMillan Company, New York, 1929.