Bittner - PDFSEARCH.IO - Document Search Engine

Bittner
Results: 220

#	Item
21	THOMAS BITTNER CURRICULUM VITAE June 9, CONTACT INFORMATION Employment Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:04:40 Ontology Knowledge representation Academia Information science Metaphysics Cognitive science Semantic Web Basic Formal Ontology OBO Foundry Andrew U. Frank Spatialtemporal reasoning Cyc
22	Judgments about spatio-temporal relations Thomas Bittner Qualitative Reasoning Group, Department of Computer Science, Northwestern University and Institute for Formal Ontology and Medical Information Science at the Univ Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-10 06:15:20 Ontology Geolocation Spatiotemporal database Spacetime Formal ontology Metaphysics Meaning philosophy of language) Philosophy
23	International Journal of Geographical Information Science Vol. 00, No. 00, July 2006, 1–29 A Spatio-Temporal Ontology for Geographic Information Integration Thomas Bittner∗,1,2,3,4 , Maureen Donnelly1,3 , and Barry S Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:05:50 Logic Ontology Mathematical logic Mathematics Mereology Upper ontology First-order logic Formal ontology S Equivalence relation Problem of universals Binary relation
24	1 Endurants and perdurants in directly depicting ontologies Thomas Bittner a Maureen Donnelly a Barry Smith a,b Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-08-09 19:57:54 Ontology Philosophy Metaphysics Academia Information science Knowledge representation Technical communication Constructible universe Temporal parts Formal ontology
25	REGISTRATION FORM FAMILY HISTORY SEMINAR: F. WARREN BITTNER, CGK SATURDAY, JULY 11, 2015 Make check payable to GSNOCC and mail to: GSNOCC, PO Box 706, Yorba Linda, CA Add to Reading List Source URL: www.gsnocc.org Language: English - Date: 2015-03-25 22:19:15 Lunch Bittner
26	Computational ontologies of parthood, componenthood, and containment Thomas Bittner and Maureen Donnelly IFOMIS, Saarland University Abstract Parthood, componenthood, and containment relations are commonly assumed in bio Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2005-03-16 11:22:26 Mathematics Algebra Logic Predicate logic Mathematical logic Ontology Topology Algebraic structures Mereology Metric Ring Binary relation
27	Qualitative Trajectory Relations with GPS Sensor Data Jeon-Young Kang and Thomas Bittner Department of Geography University at Buffalo May 19th 2016 Add to Reading List Source URL: ncgia.buffalo.edu Language: English - Date: 2016-05-27 23:40:51 Multiplexing T-carrier
28	Formal ontologies for space and time Thomas Bittner, Barry Smith , and Institute for Formal Ontology and Medical Information Science (IFOMIS) Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2003-04-03 09:44:32 Philosophy Metaphysics Ontology Information science Knowledge representation Meaning philosophy of language) Technical communication Formal ontology Process philosophy Four-dimensionalism Barry Smith Web Ontology Language
29	Summation Relations and Portions of Stuff Maureen Donnelly and Thomas Bittner (NOTE: This paper is currently being processed for publication in Philosophical Studies.) 1. Portions of stuff We have in front of us a full g Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:05:55 Predicate logic Ontology Mathematical logic Mereology First-order logic Properties of water Temporal parts
30	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