A generalized topological view of motion in discrete space

Theoretical Computer Science

Volumn 305, Issue 1-3, 2003, Pages 111-134

  Galton, Antony ^a  

^a UNIVERSITY OF EXETER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; FUNCTIONS; MATHEMATICAL MODELS; SET THEORY; TOPOLOGY;

DISCRETE SPACES;

COMPUTER SCIENCE;

EID: 0043031343     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(02)00701-6     Document Type: Conference Paper

References (19)

1. E. Ahronovitz, J.-P. Aubert, C. Fiorio, The star-topology: a topology for image analysis, in: Discrete Geometry for Computer Imagery, Groupe GDR PRC/AMI du CNRS, 1995, pp. 107-116.
2. Allen J. Towards a general theory of action and time. Artif. Intell. 23:1984;123-154.
3. E. Čech, Topological Spaces, Wiley, Chichester, 1966 (revised edition by Zdeněk Frolík and Miroslav Katětov).
4. Davis E. Representations of Commonsense Knowledge. 1990;Morgan Kaufmann, San Mateo, CA.
5. E. Davis, Continuous shape transformation and metrics on regions, Funda. Inform. 46 (2001) 31-54.
6. 2 Abel D., Ooi B.C. Advances in Spatial Databases - 3rd Internat. Symp. on Large Spatial Databases SSD'93. Lecture Notes in Computer Science. Vol. 692:1993;316-336 Springer, New York.
7. Galton A.P. Towards an integrated logic of space, time, and motion. Bajcsy R. Proc. 13th Internat. Joint Conf. on Artificial Intelligence (IJCAI'93). 1993;1550-1555 Morgan Kaufmann, San Mateo, CA.
8. Galton A.P. Continuous change in spatial regions. Hirtle S.C., Frank A.U. Spatial Information Theory: A Theoretical Basis for GIS. Lecture Notes in Computer Science. Vol. 1329:1997;1-13 Springer, New York. (Proc. Internat. Conf. COSIT'97).
9. Galton A.P. The mereotopology of discrete space. Freksa C., Mark D.M. Spatial Information Theory: Cognitive and Computational Foundations of Geographic Science. 1999;251-266 Springer, New York. (Proc. Internat. Conf. COSIT'99).
10. Galton A.P. Continuous motion in discrete space. Cohn A.G., Giunchiglia F., Selman B. Proc. 7th Internat. Conf. on Principles of Knowledge Representation and Reasoning (KR2000). 2000;26-37 Morgan Kaufmann, San Francisco, CA.
11. Galton A.P. Qualitative Spatial Change. 2000;Oxford University Press, Oxford.
12. Khalimsky E., Kopperman R., Meyer P.R. Computer graphics and connected topologies on finite ordered sets. Topology Appl. 36:1990;1-17.
13. Kong T.Y., Rosenfeld A. Digital topology. introduction and survey Comput. Vision Graphics Image Process. 48:1989;357-393.
14. Kovalevsky V.A. Finite topology as applied to image analysis. Comput. Vision Graphics Image Process. 46:1989;141-161.
15. Kovalevsky V.A. A new concept for digital geometry. Ying-Lie O., Toet A., Foster D., Heijmans H.J.A.M., Meer P. Shape in Picture: Mathematical Description of Shape in Grey-level Images. NATO Advanced Science Institutes Series. Vol. 126:1993;37-51 Springer, Berlin.
16. Randell D.A., Cui Z., Cohn A.G. A spatial logic based on regions and connection. Nebel B., Rich C., Swartout W. Principles of Knowledge Representation and Reasoning: Proc. 3rd Internat. Conf. (KR'92). 1992;165-176 Morgan Kaufmann, San Mateo, CA.
17. Smyth M.B. Semi-metrics, closure spaces and digital topology. Theoret. Comput. Sci. 151:1995;257-276.
18. O. Stock (Ed.), Spatial and Temporal Reasoning, Kluwer Academic Publishers, Dordrecht, 1997.
19. Winter S. Topological relations between discrete regions. Egenhofer M.J., Herring J.R. Advances in Spatial Databases. 1995;310-327 Springer, Berlin.