Mereology - PDFSEARCH.IO - Document Search Engine

Mereology
Results: 487

#	Item
31	Microsoft Word - Front_page-05.doc Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2006-10-21 05:03:58 Knowledge representation American philosophers Analytic philosophers Philosophy of artificial intelligence Philosophy of information Skvde Mereology Ontology Philosophy Luciano Floridi Kurt Gdel Lorenzo Magnani
32	The mereology of stages and persistent entities Thomas Bittner and Maureen Donnelly Institute for Formal Ontology and Medical Information Science (IFOMIS), University of Leipzig thomas.bittner, maureen.donnelly @ifomis.u Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-25 18:24:14 Ontology Formal ontology Spacetime Mereology
33	Improved Algorithms for Module Extraction and Atomic Decomposition Dmitry Tsarkov School of Computer Science The University of Manchester Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Information science Knowledge representation Technical communication Ontology Mathematical logic Mahlo cardinal Mereology Constructible universe
34	Microsoft Word - OWLGrEd_S_OWLED_CReady_v11.doc Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-05-24 03:43:20 Semantic Web Knowledge representation Knowledge engineering Ontology Information science Web Ontology Language Resource Description Framework Semantic reasoner Mereology Ontology engineering Upper ontology
35	From top-level to domain ontologies: Ecosystem classifications as a case study Thomas Bittner Department of Philosophy, Department of Geography New York State Center of Excellence in Bioinformatics and Life Sciences Nati Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2007-07-26 11:19:26 Ontology Information science Knowledge representation Technical communication Upper ontology First-order logic Binary relation Formal ontology Web Ontology Language Structure Mereology Ring
36	PRL 107, week ending 19 AUGUSTPHYSICAL REVIEW LETTERS Add to Reading List Source URL: dmabrams.esam.northwestern.edu Language: English - Date: 2011-08-17 19:20:44 Mathematical physics UX Thorn Perturbation theory Mereology
37	Published in Symmetries in Physics: Philosophical Re‡ections, K. Brading and E. Castellani, eds., Cambridge University PressPhysics and Leibniz’s Principles Simon Saunders Leibniz’s principles made for an e Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2004-10-19 09:18:10 Ontology New riddle of induction Property Gottfried Wilhelm Leibniz Identity of indiscernibles Supervenience Identity Predicate Mereology Principle Category of being Relational theory
38	A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel (Extended Abstract) C.A.Gurr∗ Human Communication Research Centre University of Edinburgh Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Predicate logic Mathematical logic Prolog Logic programming Partial evaluation Predicate Resolution Mereology Programming language Eval
39	Modeling Events Lessons from Modeling Objects in GIScience Werner Kuhn Center for Spatial Studies Add to Reading List Source URL: www.ncgia.buffalo.edu Language: English - Date: 2016-05-23 00:36:24 Werner Kuhn Geographic information system Kuhn Conceptual model Mereology 3D modeling
40	Service System Modelling : a shared representation and a web-based tool for the collaboration of the telecoms’ innovators Florie Bugeaud a, b and Eddie Soulier a a Add to Reading List Source URL: wic.litislab.fr Language: English - Date: 2013-12-09 08:25:56 Semantic Web Information science Technical communication Knowledge representation Ontology Mereology Object Process Methodology Web Ontology Language Scientific modelling Service design Collaborative software Upper ontology