Carving up space: Steps towards construction of an absolutely complete theory of spatial regions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1126, Issue , 1996, Pages 337-353

  Bennett, Brandon ^a  

^a UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

COMPLETE THEORY; SPATIAL REGIONS; SPECIFIC PROBLEMS;

ARTIFICIAL INTELLIGENCE;

EID: 84898433999     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (20)

1. Allen, J. F.: 1981, An interval-based representation of temporal knowledge, Proceedings 7th IJCAI, pp. 221-226.
2. Asher, N. and Vieu, L.: 1995, Toward a geometry of common sense: A semantics and a complete axiomatization of mereotopology, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal.
3. Bennett, B.: 1994, Spatial reasoning with propositional logics, in 3. Doyle, E. Sandewall and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), Morgan Kaufmarm, San Francisco, CA.
4. Biacino, L. and Gerla, G.: 1991, Connection structures, Notre Dame Journal of Formal Logic.
5. Clarke, B.L.: 1981, A calculus of individuals based on 'connection', Notre Dame Journal of Formal Logic 23(3), 204-218.
6. Clarke, B. L.: 1985, Individuals and points, Notre Dame Journal of Formal Logic 26(1), 61-75.
7. Cohn, A. G.: 1987, A more expressive formulation of many sorted logic, Journal of Automated Reasoning 3, 113-200.
8. de Laguna, T.: 1922, Point, line and surface as sets of solids, The Journal of Philosophy 19,449-461.
9. Gotts, N. M.: 1994a, Defining a 'doughnut' made difficult, in C. Eschenbach, C, Habel and B. Smith (eds), Topological Foundations of Cognitive Science, Vol. 37 of Reports of the Doctoral programme in Cognitive Science, University of Hamburg.
10. Gotts, N. M.: 1994b, How far can we 'C'? defining a 'doughnut' using connection alone, in J. Doyle, E. Sandewall and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KRg4), Morgan Kaufmann.
11. Kuratowski, K.: 1972, Introduction to Set Theory and Topology, 2nd edn, Pergamon Press.
12. Ladldn, P.: 1987, The Logic of Time Representation, PhD thesis, University of CaliforIlia, Berkeley. Kestrel Institute report KES.U.87.13.
13. Leonard, H. S. and Goodman, N.: 1940, The calculus of individuals and its uses, Journal of Symbolic Logic 5, 45-55.
14. Nebel, B.: 1995, Computational properties of qualitative spatial reasoning: First results, Procedings of the 19th German AI Conference.
15. Randell, D. A., Cui, Z. and Cohn, A. G.: 1992, A spatial logic based on regions and connection, Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, Morgan Kaufmarm, San Mateo, pp. 165-176.
16. Randell, D. and Cohu, A.: 1989, Modelling topological and metrical properties of physical processes, in R. Brachman, H. Levesque and R. Reiter (eds), Proceedings 1st International Conference on the Principles of Knowledge Representation and Reasoning, Morgan Kaufmarm, Los Altos, pp. 55-66.
17. Scott, D.: 1959, Dimension in elementary euclidean geometry, in L. Brouwer, E. Beth and A. Heyting (eds), The Axiomatic Method (with special reference to geometry and physics), North-Holland, Amsterdam, pp. 16-29.
18. Tarski, A.: 1956, Foundations of the geometry of solids, Logic, Semantics, Metamathematics, Oxford Clarendon Press, chapter 2. trans. J.H. Woodger.
19. Tarski, A.: 1959, What is elementary geometry?, in L. Brouwer, F,. Beth and A. Heyting (eds), The Axiomatic Method (with special reference to geometry and physics), North-Holland, Amsterdam, pp. 16-29.
20. Whitehead, A. N.: 1929, Process and Reality, The MacMillan Company, New York.