Using spatial logic to describe visual languages

Artificial Intelligence Review

Volumn 10, Issue 3-4, 1996, Pages 171-186

  Gooday, J M ^a   Cohn, A G ^a  

^a UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

Spatial languages; Visual programming languages

Indexed keywords

ANIMATION; ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES;

SPATIAL LANGUAGES; SPATIAL LOGIC; VISUAL PROGRAMMING LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0030213145     PISSN: 02692821     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF00127678     Document Type: Article

References (10)

1. Allen, J. F. (1981). An Interval-Based Representation of Temporal Knowledge. Proceedings of The 7th IJCAI.
2. Clarke, B. L. (1981). A Calculus of Individuals Based on 'Connection'. Notre Dame Journal of Formal Logic 23: 204-218.
3. Clarke, B. L. (1985). Individuals and Points. Notre Dame Journal of Formal Logic 26(1): 61-75.
4. Cohn, A. G. (1987). A More Expressive Formulation of Many Sorted Logic. Journal of Automated Reasoning 3: 113-200.
5. Cohn, A. G., Gooday, J. M. & Bennett, B. (1994). A Comparison of Structures in Spatial and Temporal Logics. In Casati, R., Smith, B. & White, G. (eds.) Philosophy and the Cognitive Sciences: Proceedings of The 16th International Wittgenstein Symposium, Hölder-Pichler-Tempsky: Vienna.
6. Cui, Z., Cohn, A. G. & Randell, D. A. (1992). Qualitative Simulation Based on a Logical Formalism of Space and Time. Proceedings of The AAAI-92, 679-684. AAAI Press, Menlo Park: California.
7. Kahn, K. M. & Saraswat, V. A. (1990). Complete Visualizations of Concurrent Programs and Their Executions. Technical Report Tech. Rpt. SSL-90-38 [P90-00099], Xerox Palo Alto Research Center, Palo Alto, California.
8. Randell, D. A., Cohn, A. G. & Cui, Z. (1992). Naive Topology: Modelling the Force Pump. In Struss, P. & Faltings, B. (eds.) Advances in Qualitative Physics, 177-192. MIT Press.
9. Randell, D. A., Cui, Z. & Cohn, A. G. (1992). A Spatial Logic Based on Regions and Connection. Proceedings of The 3rd Int. Conf. on Knowledge Representation and Reasoning, 165-176. Morgan Kaufmann: San Mateo.
10. Saraswat, V. A., Kahn, K. M. & Levy, J. (1990). Janus - A Step Towards Distributed Constraint Programming. Proceedings of The North American Logic Programming Conference, MIT Press.