Defining the Syntax and the Semantics of a Visual Programming Language in a Spatial Logic

[1]  David Anthony Randell,et al.  Analysing the familiar : reasoning about space and time in the everyday world , 1991 .

[2]  Bowman L. Clarke,et al.  Individuals and points , 1985, Notre Dame J. Formal Log..

[3]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[4]  Nicholas Mark Gotts,et al.  How Far Can We 'C'? Defining a 'Doughnut' Using Connection Alone , 1994, KR.

[5]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[6]  D. Randell,et al.  Exploring Naive Topology : modelling the force pump , .

[7]  Anthony G. Cohn,et al.  Qualitative Simulation Based on a Logical Formalism of Space and Time , 1992, AAAI.

[8]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[9]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[10]  Anthony G. Cohn,et al.  Taxonomies of logically defined qualitative spatial relations , 1995, Int. J. Hum. Comput. Stud..

[11]  Bowman L. Clarke,et al.  A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..

[12]  James F. Allen.  An Interval-Based Representation of Temporal Knowledge , 1981, IJCAI.

[13]  Anthony G. Cohn,et al.  Modelling Topological and Metrical Properties in Physical Processes , 1989, KR.

[14]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[15]  Kenneth M. Kahn,et al.  Janus: A step towards distributed constraint programming , 1990, NACLP.

[16]  Kenneth M. Kahn,et al.  Complete visualizations of concurrent programs and their executions , 1990, Proceedings of the 1990 IEEE Workshop on Visual Languages.

[17]  Antony Galton,et al.  Temporal logics and their applications , 1987 .