- G. E. Hughes & M. J. Cresswell, A New Introduction to Modal Logic. [REVIEW]Paolo Crivelli & Timothy Williamson - 1998 - Philosophical Review 107 (3):471.details
|
|
Full mereogeometries.Stefano Borgo & Claudio Masolo - 2010 - Review of Symbolic Logic 3 (4):521-567.details
|
|
On the Plurality of Worlds.David K. Lewis - 1986 - Malden, Mass.: Wiley-Blackwell.details
|
|
The ontology of the Gene Ontology.Barry Smith, Jennifer Williams & Steffen Schulze-Kremer - 2003 - In Smith Barry, Williams Jennifer & Schulze-Kremer Steffen (eds.), AMIA 2003 Symposium Proceedings. AMIA. pp. 609-613.details
|
|
Parts and Places: The Structures of Spatial Representation.Roberto Casati & Achille C. Varzi - 1999 - MIT Press.details
|
|
The OBO Foundry: Coordinated evolution of ontologies to support biomedical data integration.Barry Smith, Michael Ashburner, Cornelius Rosse, Jonathan Bard, William Bug, Werner Ceusters, Louis J. Goldberg, Karen Eilbeck, Amelia Ireland, Christopher J. Mungall, Neocles Leontis, Philippe Rocca-Serra, Alan Ruttenberg, Susanna-Assunta Sansone, Richard H. Scheuermann, Nigam Shah, Patricia L. Whetzel & Suzanna Lewis - 2007 - Nature Biotechnology 25 (11):1251-1255.details
|
|
Fiat and Bona Fide Boundaries.Barry Smith & Achille C. Varzi - 2000 - Philosophy and Phenomenological Research 60 (2):401-420.details
|
|
Order of magnitude reasoning.Olivier Raiman - 1991 - Artificial Intelligence 51 (1-3):11-38.details
|
|
Events, Topology and Temporal Relations.Fabio Pianesi & Achille C. Varzi - 1996 - The Monist 79 (1):89--116.details
|
|
On the Plurality of Worlds.Allen Stairs - 1988 - Philosophy and Phenomenological Research 49 (2):333-352.details
|
|
Michael Tooley, Time, Tense and Causation. [REVIEW]André Fuhrmann - 1999 - Erkenntnis 50 (1):133-136.details
|
|
Sorites paradox.Dominic Hyde - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Combining topological and size information for spatial reasoning.Alfonso Gerevini & Jochen Renz - 2002 - Artificial Intelligence 137 (1-2):1-42.details
|
|
Temporal Logics and Their Applications.Antony Galton - 1990 - Journal of Symbolic Logic 55 (1):364-366.details
|
|
Vagueness, truth and logic.Kit Fine - 1975 - Synthese 30 (3-4):265-300.details
|
|
Summation relations and portions of stuff.Maureen Donnelly & Thomas Bittner - 2009 - Philosophical Studies 143 (2):167 - 185.details
|
|
A formal theory for reasoning about parthood, connection, and location.Maureen Donnelly - 2004 - Artificial Intelligence 160 (1-2):145-172.details
|
|
Parts: A Study in Ontology.Peter Simons - 1987 - Oxford, England: Clarendon Press.details
|
|
Parts Study in Ontology: A Study in Ontology.Peter Simons - 1987 - Oxford, GB: Oxford University Press UK.details
|
|
Parts : a Study in Ontology.Peter Simons - 1987 - Revue de Métaphysique et de Morale 2:277-279.details
|
|
A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.details
|
|
Granularity as a parameter of context.Hedda R. Schmidtke - 2005 - In B. Kokinov A. Dey (ed.), Modeling and Using Context. Springer. pp. 450--463.details
|
|
Isabelle/Hol a Proof Assistant for Higher-Order Logic.Tobias Nipkow, Lawrence C. Paulson & Markus Wenzel - 2002 - Berlin and New York: Springer.details
|
|
A strategy for improving and integrating biomedical ontologies.Cornelius Rosse, Anand Kumar, Jose L. V. Mejino, Daniel L. Cook, Landon T. Detwiler & Barry Smith - 2005 - In Proceedings of the Annual Symposium of the American Medical Informatics Association. AMIA. pp. 639-643.details
|
|
Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.details
|
|
Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The Role of Foundational Relations in the Alignment of Biomedical Ontologies.Barry Smith & Cornelius Rosse - 2004 - In M. Fieschi, E. Coiera & Y.-C. J. Li (eds.), Medinfo. IOS Press. pp. 444-448.details
|
|
Relations in Biomedical Ontologies.Barry Smith, Werner Ceusters, Bert Klagges, Jacob Köhler, Anand Kuma, Jane Lomax, Chris Mungall, , Fabian Neuhaus, Alan Rector & Cornelius Rosse - 2005 - Genome Biology 6 (5):R46.details
|
|
The sorites fallacy and the context-dependence of vague predicates.Kees Van Deemter - 1996 - In Makoto Kanazawa, Christopher Pinon & Henriette de Swart (eds.), Quantifiers, Deduction, and Context. CSLI Publications.details
|
|
Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology.Achille C. Varzi - 1996 - Data and Knowledge Engineering 20:259–286.details
|
|
A Spatio-Temporal Ontology for Geographic Information Integration.Thomas Bittner & Barry Smith - 2009 - International Journal for Geographical Information Science 23 (6):765-798.details
|
|
Individuals, universals, collections: On the foundational relations of ontology.Thomas Bittner, Maureen Donnelly & Barry Smith - 2004 - In Achille Varzi Laure Vieu (ed.), ”, Formal Ontology in Information Systems. Proceedings of the Third International Conference. Amsterdam: IOS Press. pp. 37–48.details
|
|
Vagueness: A Reader.R. Keefe & P. Smith - 2001 - Studia Logica 67 (1):120-122.details
|
|
Referent Tracking: The Problem of Negative Findings.Werner Ceusters, Peter Elkin & Barry Smith - 2006 - Studies in Health Technology and Informatics 124:741-46.details
|
|
Tracking Referents in Electronic Health Records.Werner Ceusters & Barry Smith - 2005 - Studies in Health Technology and Informatics 116:71–76.details
|
|
Parts: A Study in Ontology.Peter Simons - 1988 - Mind 97 (388):638-640.details
|
|
Parts. A Study in Ontology.Peter Simons - 1989 - Revue Philosophique de la France Et de l'Etranger 179 (1):131-132.details
|
|