Modes of overlap

Journal of Visual Languages and Computing

Volumn 9, Issue 1, 1998, Pages 61-79

  Galton, Antony ^a  

^a UNIVERSITY OF EXETER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031992704     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1006/jvlc.1997.0071     Document Type: Article

References (10)

1. 1. J. de Kleer & J. S. Brown (1984) A qualitative physics based on confluences. Artificial Intelligence 24, 7-83.
2. 2. M. J. Egenhofer (1989) A formal definition of binary topological relationships. In: Proceedings cf the 3rd International Conference on Foundations of Data Orginisation and Algorithm (FODO), Paris, France (W. Litwin & H.-J. Schek, eds), Lecture Notes in Computer Science, Vol. 367, pp. 271-286. Springer, New York, pp. 271-286.
3. 3. M. J. Egenhofer (1991) Reasoning about binary topological relations. In: Advances in Spatial Databases (O. Günther & H.-J. Schek, eds), Springer, Berlin, pp. 143-160.
4. 4. M. J. Egenhofer & R. D. Franzosa (1991) Point-set topological spatial relations. International Journal of Geographical Information Systems 5, 161-174.
5. 5. M. J. Egenhofer & R. D. Franzosa (1995) On the equivalence of topological relations. International Journal of Geographical Information Systems 9, 133-152.
6. 6. A. Galton (1993) Towards an integrated logic of space, time, and motion. In: Proceedings of the 13th International Joint Conference on Artificial Intelligence, Chambery, France (Ruzena Bajes, ed.), International Joint Conferences on Artificial Intelligence 1993, pp. 1550-1555.
7. 7. A. Galton (1994) Instantaneous events. In: Temporal Logic Proceedings of the ICTL Workshop, Saarbrücken (H. J. Ohlbach, ed.), Max-Planck-Instiut für Informatik.
8. 8. B. J. Kuipers (1986) Qualitative simulation. Artificial Intelligence 29, 289-338.
9. 9. D. A. Randell, Z. Cui & A. G. Cohn (1992) A spatial logic based on regions and connection In: Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning. Cambridge, MA, October 1992, pp. 165-176.
10. 10. B. C. Williams (1990) Temporal qualitative analysis: explaining how physical systems work. In: Qualitative Reasoning about Physical System (D. S. Weld & J. de Kleer, eds). Morgan Kaufmann, San Mateo, CA, pp. 133-177.