Exploiting lattices in a theory of space and time

[1]  T. D. Laguna.  Point, Line, and Surface, as Sets of Solids , 1922 .

[2]  Joseph Henry Woodger,et al.  The axiomatic method in biology , 1938 .

[3]  Nelson Goodman,et al.  The calculus of individuals and its uses , 1940, Journal of Symbolic Logic.

[4]  Review: Willard V. Quine, Notes on Existence and Necessity , 1943 .

[5]  R. M. Martin.  Of Time and the Null Individual , 1965 .

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

[7]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[8]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[9]  Patrick J. Hayes,et al.  A Common-Sense Theory of Time , 1985, IJCAI.

[10]  B. L. Clark.  Individuals and points. , 1985 .

[11]  Ernest Davis,et al.  A logical framework for commonsense predictions of solid object behaviour , 1988, Artif. Intell. Eng..

[12]  Anthony G. Cohn.  On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning , 1989, KR.

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

[14]  Patrick J. Hayes,et al.  Moments and points in an interval‐based temporal logic , 1989, Comput. Intell..

[15]  Patrick Lincoln,et al.  Efficient implementation of lattice operations , 1989, TOPL.

[16]  Wayne D. Blizard.  A Formal Theory of Objects, Space and Time , 1990, J. Symb. Log..

[17]  Patrick J. Hayes,et al.  The Naive Physics Manifesto , 1990, The Philosophy of Artificial Intelligence.

[18]  Anthony G. Cohn,et al.  Thoughts and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning , 1991, AI Mag..

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