Spatial Reasoning and Ontology: Parts, Wholes, and Locations

[1]  David Sedley,et al.  The Stoic Criterion of Identity , 1982 .

[2]  Harry Bunt,et al.  Mass Terms and Model-Theoretic Semantics , 1985 .

[3]  Achille C. Varzi,et al.  On Location: Aristotle's Concept of Place , 2005 .

[4]  Dean R. Zimmerman.  Could Extended Objects be Made Out of Simple Parts , 1996 .

[5]  Cian Dorr,et al.  Composition as a Fiction , 2007 .

[6]  Trenton Merricks,et al.  Composition as identity, mereological essentialism, and counterpart theory , 1999 .

[7]  Jochen Renz,et al.  A Canonical Model of the Region Connection Calculus , 1997, J. Appl. Non Class. Logics.

[8]  K. Fine.  Vagueness, truth and logic , 1975, Synthese.

[9]  Richard Sorabji,et al.  Matter Space and Motion , 1988 .

[10]  Antony Galton,et al.  The Mereotopology of Discrete Space , 1999, COSIT.

[11]  F. Brentano,et al.  Philosophische Untersuchungen zu Raum, Zeit und Kontinuum , 1976 .

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

[13]  Brandon Bennett,et al.  Modal Logics for Qualitative Spatial Reasoning , 1996, Log. J. IGPL.

[14]  Barry Smith,et al.  On Drawing Lines on a Map , 1995, COSIT.

[15]  D. Wiggins.  Sameness and substance , 1980 .

[16]  Giangiacomo Gerla,et al.  Connection Structures , 1991, Notre Dame J. Formal Log..

[17]  Marco Aiello.  Topo-distance: Measuring the Difference between Spatial Patterns , 2000, JELIA.

[18]  Rolf A. Eberle.  Yoes on Non-Atomic Systems of Individuals , 1968 .

[19]  Andrew U. Frank,et al.  Qualitative spatial reasoning about distances and directions in geographic space , 1992, J. Vis. Lang. Comput..

[20]  Ian Pratt-Hartmann,et al.  Expressivity in Polygonal, Plane Mereotopology , 2000, J. Symb. Log..

[21]  Barry Smith,et al.  Mereotopology: A Theory of Parts and Boundaries , 1996, Data Knowl. Eng..

[22]  Antony Galton.  Multidimensional Mereotopology , 2004, KR.

[23]  Carl G. Hempel,et al.  Reflections on Nelson Goodman's: The Structure of Appearance , 1953 .

[24]  Laure Vieu,et al.  Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology , 1995, IJCAI.

[25]  Roberto Casati,et al.  Parts And Places , 1999 .

[26]  Achille C. Varzi.  THE UNIVERSE AMONG OTHER THINGS , 2006 .

[27]  Annette Herskovits,et al.  Language and spatial cognition , 1986 .

[28]  Brandon Bennett,et al.  Carving Up Space: Steps Towards Construction of an Absolutely Complete Theory of Spatial Regions , 1996, JELIA.

[29]  Peter Simons,et al.  Extended Simples: A Third Way Between Atoms and Gunk , 2004 .

[30]  G. Miller,et al.  Language and Perception , 1976 .

[31]  Amitabha Mukerjee,et al.  A Qualitative Model for Space , 1990, AAAI.

[32]  H. Hudson.  The Liberal View of Receptacles , 2002 .

[33]  Nelson Goodman,et al.  On relations that generate , 1958 .

[34]  Giangiacomo Gerla,et al.  Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point , 1996, Notre Dame J. Formal Log..

[35]  J. Thomson.  Parthood and Identity Across Time , 1983 .

[36]  Antony Galton,et al.  On the Ontological Status of Geographical Boundaries , 2003, Foundations of Geographic Information Science.

[37]  Donald L. M. Baxter.  Identity in the Loose and Popular Sense , 1988 .

[38]  Laure Vieu,et al.  Atomicity vs. Infinite Divisibility of Space , 1999, COSIT.

[39]  Achille C. Varzi.  Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology , 1996, Data Knowl. Eng..

[40]  L. Birch,et al.  The concept of nature , 1992 .

[41]  Peter Unger,et al.  The Problem of the Many , 1980 .

[42]  Frank P. Coyle,et al.  Aaai '90 , 1990, IEEE Expert.

[43]  André Gallois,et al.  Occasions of identity , 1998 .

[44]  Barry Smith,et al.  Layers: A New Approach to Locating Objects in Space , 2003, COSIT.

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

[46]  Rayme Engel,et al.  Exponentiating entities by necessity , 1996 .

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

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

[49]  David Lewis,et al.  Parts Of Classes , 1991 .

[50]  Maureen Donnelly,et al.  Relative places , 2005, Appl. Ontology.

[51]  Peter Simons,et al.  Brentano's mereology , 1994 .

[52]  Achille C. Varzi,et al.  Fiat and Bona Fide Boundaries , 2000 .

[53]  Ingvar Johansson,et al.  On the Transitivity of the Parthood Relations , 2004 .

[54]  Peter Aczel,et al.  Non-well-founded sets , 1988, CSLI lecture notes series.

[55]  Daniel Nolan,et al.  Classes, Worlds and Hypergunk , 2004 .

[56]  David Bostock,et al.  Logic and Arithmetic. , 1981 .

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

[58]  Achille C. Varzi,et al.  Holes and Other Superficialities , 1994 .

[59]  Mario Bunge,et al.  On Null Individuals , 1966 .

[60]  A. David Kline,et al.  The Logical Impossibility of Collision , 1987 .

[61]  D. Cruse.  On the transitivity of the part-whole relation , 1979, Journal of Linguistics.

[62]  B. Jack Copeland,et al.  On Vague Objects, Fuzzy Logic and Fractal Boundaries , 1995 .

[63]  Victor Lowe.  Professor Goodman's Concept of an Individual , 1953 .

[64]  Theodore Sider,et al.  Van inwagen and the possibility of gunk , 1993 .

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

[66]  Peter Van Inwagen,et al.  THE DOCTRINE OF ARBITRARY UNDETACHED PARTS , 1981 .

[67]  Achille C. Varzi.  Reasoning about space: The hole story , 2003 .

[68]  Fabio Pianesi,et al.  Refining Temporal Reference in Event Structures , 1996, Notre Dame J. Formal Log..

[69]  B. J. Garrett.  Noonan, ‘best candidate’ theories and the ship of Theseus , 1985 .

[70]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning with the Region Connection Calculus , 1997, GeoInformatica.

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

[72]  Simone Pribbenow,et al.  Midwinters, end games, and body parts: a classification of part-whole relations , 1995, Int. J. Hum. Comput. Stud..

[73]  Anthony G. Cohn,et al.  Mereotopological Connection , 2003, J. Philos. Log..

[74]  Peter Thomas Geach.  ON RIGOUR IN SEMANTICS , 1949 .

[75]  Franklin Mason.  How Not to Prove the Existence of ‘Atomless Gunk’ , 2000 .

[76]  L. Chen,et al.  Holes and wholes: A reply to Rubin and Kanwisher , 1990, Perception & psychophysics.

[77]  R. Keefe.  Theories of vagueness , 2000 .

[78]  John G. Stell,et al.  Boolean connection algebras: A new approach to the Region-Connection Calculus , 2000, Artif. Intell..

[79]  Dean W. Zimmerman.  Indivisible Parts and Extended Objects , 1996 .

[80]  Karel Lambert.  Philosophical applications of free logic , 1991 .

[81]  James E. Tomberlin,et al.  On the Plurality of Worlds. , 1989 .

[82]  Kevin Mulligan,et al.  Relations and Predicates , 2004 .

[83]  Dean W. Zimmerman,et al.  Indivisible Parts and Extended Objects: Some Philosophical Episodes from Topology's Prehistory , 1996 .

[84]  J. E. Tiles,et al.  Things that happen , 1981 .

[85]  Andrew J Pyle,et al.  Atomism and its critics , 1998 .

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

[87]  M. G. Yoes.  Nominalism and Non-Atomic Systems , 1967 .

[88]  Leonard Talmy,et al.  How Language Structures Space , 1983 .

[89]  Antony Galton.  Taking Dimension Seriously in Qualitative Spatial Reasoning , 1996, ECAI.

[90]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[91]  Harold W. Noonan,et al.  Constitution is Identity , 1993 .

[92]  Achille C. Varzi.  Boundaries, Continuity, and Contact , 1997 .

[93]  A. Cohn,et al.  A connection based approach to common-sense topological description and reasoning , 1996 .

[94]  C. Kuratowski.  Sur l'opération Ā de l'Analysis Situs , 1922 .

[95]  James Van Cleve,et al.  Mereological Essentialism, Mereological Conjunctivism, and Identity Through Time , 1986 .

[96]  Maureen Donnelly,et al.  A formal theory for reasoning about parthood, connection, and location , 2004, Artif. Intell..

[97]  K. Hawley.  How Things Persist , 2001 .

[98]  Matthew McGrath.  Van Inwagen’s critique of universalism , 1998 .

[99]  Richard Schuldenfrei.  Eberle On Nominalism In Non-Atomic Systems , 1969 .

[100]  Achille C. Varzi.  Vagueness in geography , 2001 .

[101]  David H. Sanford.  The Problem of the Many, Many Composition Questions, and Naive Mereology1 , 1993 .

[102]  Peter van Inwagen,et al.  Composition as Identity , 1994 .

[103]  Carol E. Cleland.  On the individuation of events , 1991, Synthese.

[104]  Jerzy Perzanowski.  Locative ontology. Parts I–III , 2003 .

[105]  Madelyn Anne Iris,et al.  Problems of the part-whole relation , 1989 .

[106]  Josh Parsons,et al.  Must a Four-Dimensionalist Believe in Temporal Parts? , 2000 .

[107]  Terence Parsons,et al.  Worldly Indeterminacy of Identity , 1995 .

[108]  J. M. Shorter.  On Coinciding in Space and Time , 1977 .

[109]  Peter van Inwagen,et al.  Naive Mereology, Admissible Valuations, and Other Matters , 1993 .

[110]  C. Hartshorne,et al.  Collected Papers of Charles Sanders Peirce , 1935, Nature.

[111]  Friederike Moltmann.  Parts and Wholes in Semantics , 1997 .

[112]  Johan van Benthem,et al.  The Logic of Time , 1983 .

[113]  Roderick M. Chisholm,et al.  BOUNDARIES AS DEPENDENT PARTICULARS , 1983 .

[114]  David Wiggins,et al.  On Being in the Same Place at the Same Time , 1968 .

[115]  L. Baker.  Why Constitution Is Not Identity , 1997 .

[116]  Thomas Holden,et al.  The Architecture of Matter: Galileo to Kant , 2004 .

[117]  Andrzej Skowron,et al.  Rough Mereology , 1994, ISMIS.

[118]  Hud Hudson,et al.  A materialist metaphysics of the human person , 2001 .

[119]  Mark Johnston,et al.  Constitution Is Not Identity , 1992 .

[120]  L. Vinci.  The notebooks of Leonardo da Vinci. , 1952 .

[121]  Judith Jarvis Thomson,et al.  The Statue and the Clay , 1998 .

[122]  Barry Smith,et al.  Do Mountains Exist? Towards an Ontology of Landforms , 2003 .

[123]  I. M. Bochenski.  The problem of universals , 1956 .

[124]  Nicola Guarino,et al.  A Pointless Theory of Space Based on Strong Connection and Congruence , 1996, KR.

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

[126]  Nicholas Rescher,et al.  Axioms for the part relation , 1955 .

[127]  David Gary Shaw,et al.  A World of Individuals , 2005 .

[128]  Ivo Düntsch,et al.  A relation - algebraic approach to the region connection calculus , 2001, Theor. Comput. Sci..

[129]  Paul Needham.  Temporal Intervals and Temporal Order , 1981 .

[130]  Peter Forrest.  From Ontology to Topology in the Theory of Regions , 1996 .

[131]  Roderick M. Chisholm.  Brentano's Conception of Substance and Accident , 1978 .

[132]  Alfred North Whitehead.  The Concept Of Nature , 1920 .

[133]  Sanjiang Li,et al.  Generalized Region Connection Calculus , 2004, Artif. Intell..

[134]  Fraser MacBride.  Where are particulars and universals , 2005 .

[135]  E. Zee,et al.  Representing Direction in Language and Space , 2002 .

[136]  John Bigelow,et al.  God and the new math , 1996 .

[137]  Benjamin Morison,et al.  On Location: Aristotle's Concept of Place , 2002 .

[138]  Achille C. Varzi.  A note on the transitivity of parthood , 2006, Appl. Ontology.

[139]  Richard M. Gale,et al.  The Blackwell Guide to Metaphysics , 2002 .

[140]  Werner Nutt.  On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics , 1999, KI.

[141]  N. Goodman,et al.  The Structure of Appearance. , 1953 .

[142]  A. Galton.  Qualitative Spatial Change , 2001 .

[143]  Hans Burkhardt,et al.  Part/whole I: history , 1991 .

[144]  Daniel Hernández,et al.  Qualitative Representation of Spatial Knowledge , 1994, Lecture Notes in Computer Science.

[145]  Barbara Tversky,et al.  Parts, Partonomies, and Taxonomies. , 1989 .

[146]  J. Thomson.  On being and saying : essays for Richard Cartwright , 1987 .

[147]  Douglas Herrmann,et al.  A Taxonomy of Part-Whole Relations , 1987, Cogn. Sci..

[148]  Peter F. Strawson,et al.  Analysis and metaphysics , 1992 .

[149]  Byeong-uk Yi,et al.  Is Mereology Ontologically Innocent? , 1999 .

[150]  Michael C. Rea,et al.  In Defense of Mereological Universalism , 1998 .

[151]  John L. Mackie.  KANT ON PERSONAL IDENTITY , 1980 .

[152]  Mehmet Giritli.  Who Can Connect in RCC? , 2003, KI.

[153]  Peter Roeper,et al.  Region-Based Topology , 1997, J. Philos. Log..

[154]  Thomas Holden,et al.  The Architecture of Matter , 2004 .

[155]  Barry Smith,et al.  Handbook of Metaphysics and Ontology. , 1991 .

[156]  Fabio Pianesi,et al.  Events, topology and temporal relations , 1996 .

[157]  Michael F. Goodchild,et al.  Foundations of Geographic Information Science , 2003 .

[158]  A. Tarski,et al.  Zur Grundlegung der Boole'schen Algebra. I , 1935 .

[159]  James Robert Brown.  On the Plurality of Worlds David Lewis Oxford: Blackwell, 1986. Pp. 276. $58.00, $27.00 paper , 1987 .

[160]  Michael F. Worboys,et al.  The Algebraic Structure of Sets of Regions , 1997, COSIT.

[161]  M. Heller,et al.  Temporal parts of four dimensional objects , 1984 .