Atomicity vs. Infinite Divisibility of Space
暂无分享,去创建一个
[1] Nicholas Mark Gotts,et al. How Far Can We 'C'? Defining a 'Doughnut' Using Connection Alone , 1994, KR.
[2] B. L. Clark. Individuals and points. , 1985 .
[3] Bowman L. Clarke,et al. Individuals and points , 1985, Notre Dame J. Formal Log..
[4] Alfred Tarski,et al. Logic, Semantics, Metamathematics: Papers from 1923 to 1938 , 1958 .
[5] J. G. Stell,et al. A Lattice Theoretic Account of Spatial Regions Draft Version { 25th July 1997 , 1997 .
[6] Barry Smith,et al. Basic Concepts of Formal Ontology , 1998 .
[7] P. Simons. Parts: A Study in Ontology , 1991 .
[8] Bowman L. Clarke,et al. A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..
[9] Anthony G. Cohn,et al. Connection Relations in Mereotopology , 1998, ECAI.
[10] Oliver Lemon,et al. Ontologies for Plane, Polygonal Mereotopology , 1997, Notre Dame J. Formal Log..
[11] R. Sorabji. Time, Creation and the Continuum: Theories in Antiquity and the Early Middle Ages , 1983 .
[12] Anthony G. Cohn,et al. A Spatial Logic based on Regions and Connection , 1992, KR.
[13] Laure Vieu,et al. Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology , 1995, IJCAI.
[14] J. E. Tiles,et al. Things that happen , 1981 .
[15] G. Hicks. An Enquiry concerning the Principles of Natural Knowledge , 1920, Nature.
[16] Achille C. Varzi,et al. Holes and Other Superficialities , 1994 .
[17] Achille C. Varzi. Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology , 1996, Data Knowl. Eng..
[18] G. C. Shephard,et al. Tilings and Patterns , 1990 .
[19] Nicola Guarino,et al. A Pointless Theory of Space Based on Strong Connection and Congruence , 1996, KR.
[20] Andrew J Pyle,et al. Atomism and its critics , 1998 .
[21] A. R. Turquette,et al. Logic, Semantics, Metamathematics , 1957 .