-
1
-
-
0000968730
-
Towards a geometry of commonsense: A semantics and a complete axiomatization of mereotopology
-
San Mateo, CA: Morgan Kaufmann
-
Asher, N., & Vieu, L. (1995). Towards a geometry of commonsense: A semantics and a complete axiomatization of mereotopology. Proceedings of IJCAI’95 (pp. 846-852). San Mateo, CA: Morgan Kaufmann.
-
(1995)
Proceedings of IJCAI’95
, pp. 846-852
-
-
Asher, N.1
Vieu, L.2
-
2
-
-
0035789883
-
Space, time, matter, and things
-
New York: ACM Press
-
Bennett, B. (2001). Space, time, matter, and things. Proceedings of FOIS’01 (pp. 105-116). New York: ACM Press.
-
(2001)
Proceedings of FOIS’01
, pp. 105-116
-
-
Bennett, B.1
-
3
-
-
0001332050
-
An ontological theory of physical objects
-
Borgo, S., Guarino N., & Masalo, C. (1997). An ontological theory of physical objects. Proceedings of QR’97, Cortona, Italy (pp. 223-231).
-
(1997)
Proceedings of QR’97, Cortona, Italy
, pp. 223-231
-
-
Borgo, S.1
Guarino, N.2
Masalo, C.3
-
6
-
-
0031413968
-
Qualitative spatial representation and reasoning with the region connection calculus
-
Cohn, A.G., Bennett, B., Gooday J., & Gotts, N.M. (1997). Qualitative spatial representation and reasoning with the region connection calculus. Geoinformatica, 1, 1-44.
-
(1997)
Geoinformatica
, vol.1
, pp. 1-44
-
-
Cohn, A.G.1
Bennett, B.2
Gooday, J.3
Gotts, N.M.4
-
7
-
-
0013030536
-
Taxonomies of logically defined qualitative spatial relations
-
Cohn, A.G., Randell, D.A., & Cui, Z. (1995). Taxonomies of logically defined qualitative spatial relations, International Journal of Human Computer Studies, 43, 831-846.
-
(1995)
International Journal of Human Computer Studies
, vol.43
, pp. 831-846
-
-
Cohn, A.G.1
Randell, D.A.2
Cui, Z.3
-
8
-
-
7544231514
-
A formal theory for reasoning about parthood, connection, and location
-
Donnelly, M. (2004). A formal theory for reasoning about parthood, connection, and location. Artificial Intelligence, 160, 145-172.
-
(2004)
Artificial Intelligence
, vol.160
, pp. 145-172
-
-
Donnelly, M.1
-
9
-
-
25844495131
-
Towards a qualitative theory of movement
-
NewYork: Springer-Verlag
-
Galton, A. (1995). Towards a qualitative theory of movement. Proceedings of COSIT’95 (pp. 377-396). NewYork: Springer-Verlag.
-
(1995)
Proceedings of COSIT’95
, pp. 377-396
-
-
Galton, A.1
-
12
-
-
84957705078
-
Atomicity vs. infinite divisibility of space
-
Masalo C., &Vieu, L. (1999). Atomicity vs. infinite divisibility of space. Proceedings of COSIT’99 (pp. 235-250).
-
(1999)
Proceedings of COSIT’99
, pp. 235-250
-
-
Masalo, C.1
Vieu, L.2
-
13
-
-
85013593077
-
The scholium to the definitions. In A. Motte and F. Cajori (Eds., Trans)
-
Los Angeles: University of California Press
-
Newton, I. (1966). The scholium to the definitions. In A. Motte and F. Cajori (Eds., Trans). The mathematical principles of natural philosophy. Los Angeles: University of California Press.
-
(1966)
The mathematical principles of natural philosophy
-
-
Newton, I.1
-
15
-
-
0036689448
-
Surrounding space: The ontology of organism-environment relations
-
Smith, B., & Varzi, A.C. (2000). Surrounding space: the ontology of organism-environment relations. Theory in Biosciences, 121, 139-162.
-
(2000)
Theory in Biosciences
, vol.121
, pp. 139-162
-
-
Smith, B.1
Varzi, A.C.2
-
16
-
-
12144275658
-
On being in the same place at the same time
-
Wiggens, D. (1968). On being in the same place at the same time. Philosophical Review, 77, 90-95.
-
(1968)
Philosophical Review
, vol.77
, pp. 90-95
-
-
Wiggens, D.1
|