A topological constraint language with component counting

Journal of Applied Non-Classical Logics

Volumn 12, Issue 3-4, 2002, Pages 441-467

  Pratt Hartmann, Ian ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Computational Complexity; Constraints; Spatial Reasoning; Topology

Indexed keywords

EID: 27344451236     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.3166/jancl.12.441-467     Document Type: Article

References (19)

1. [BEN 96] BENNETT B., "Modal Logics for Qualitative Spatial Reasoning" Journal of the Interest Group on Pure and Applied Logics, vol. 4, 1996, p. 23-45.
2. [CLA 81] CLARKE B. L., "A calculus of individuals based on "connection"" Notre Dame Journal of Formal Logic, vol. 22, num. 3, 1981, p. 204-218.
3. [CLA 85] CLARKE B. L., "Individuals and points" Notre Dame Journal of Formal Logic, vol. 26, num. 1, 1985, p. 61-75.
4. [DOR 98] DORNHEIM C., "Undecidability of Plane Polygonal Mereotopology" COHN A. G., SCHUBERT L. K., SCHUBERT S. C., Eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR '98), San Francisco, CA, 1998, Morgan Kaufmann, p. 342-353.
5. [JON 97] JONSSON P., DRAKENGREN T., "A complete classification of tractability in RCC5" Journal of Artificial Intelligence Research, vol. 6, 1997, p. 211-221.
6. [LAG 22] DE LAGUNA T., "Point, line, and surface as sets of solids" The Journal of Philosophy, vol. 19, 1922, p. 449-461.
7. [NUT 99] NUTT W., "On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics" BURGARD W., CHRISTALLER T., CREMERS A., Eds., Advances in Artificial Intelligence, Proc. 23rd Annual German Conference on Artificial Intelligence, KI'99, vol. 1701 of Lecture Notes in Computer Science, Berlin, 1999, Springer-Verlag, p. 113-124.
8. [PAP 94] PAPADIMITRIOU C. H., Computational Complexity, Addison-Wesley, Reading, MA, 1994.
9. [PAP 96] PAPADIMITRIOU C. H., SUCIU D., VIANU V., "Topological Queries in Spatial Databases" Proceedings of PODS'96, ACM, 1996, p. 81-92.
10. [PRA 97] PRATT I., LEMON O., "Ontologies for plane, polygonal mereotopology" Notre Dame Journal of Formal Logic, vol. 38, num. 2, 1997, p. 225-245.
11. [PRA 98] PRATT I., SCHOOP D., "A complete axiom system for polygonal mereotopology of the real plane" Journal of Philosophical Logic, vol. 27, num. 6, 1998, p. 621-658.
12. [PRA 00] PRATT I., SCHOOP D., "Expressivity in polygonal, plane mereotopology" Journal of Symbolic Logic, vol. 65, num. 2, 2000, p. 822-838.
13. [PRA 02] PRATT I., SCHOOP D., "Elementary polyhedral mereotopology" Journal of Philosophical Logic, vol. 31, 2002, p. 461-498.
14. [RAN 92] RANDELL D. A., CUI Z., COHN A. G., "A Spatial Logic Based on Regions and Connection" NEBEL B., RICH C., SWARTOUT W., Eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR '92), San Mateo, CA, 1992, Morgan Kaufmann, p. 165-176.
15. [REN 99] RENZ J., NEBEL B., "On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus" Artificial Intelligence, vol. 108, 1999, p. 69-123.
16. [REN 00] RENZ J., "Qualitative Spatial Reasoning with Topological Information" PhD thesis, Albert-Ludwigs-Universität Freiburg im Breisgau, 2000.
17. [WHI 29] WHITEHEAD A. N., Process and Reality, The MacMillan Company, New York, 1929.
18. [WOL 00a] WOLTER F., ZAKHARYASCHEV M., "Spatial reasoning in RCC-8 with Boolean region terms" HORN W., Ed., ECAI 2000: Fourteenth European Conference on Artificial Intelligence, Amsterdam, 2000, IOS Press, p. 244-248.
19. [WOL 00b] WOLTER F., ZAKHARYASCHEV M., "Spatio-temporal representation and reasoning based on RCC-8" COHN A. G., GIUNCHIGLIA F., SELMAN B., Eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR-00), San Francisco, 2000, Morgan Kaufmann, p. 3-14.