58 results on '"Thomas Bittner"'
Search Results
2. Why Classificatory Information of Geographic Regions Is Quantum Information (Vision Paper).
3. On the computational realization of formal ontologies: Formalizing an ontology of instantiation in spacetime using Isabelle/HOL as a case study.
4. Towards a Quantum Theory of Geographic Fields.
5. Formal ontology of space, time, and physical entities in classical mechanics.
6. Ontologies of Dynamical Systems and Verifiable Ontology-Based Computation: Towards a Haskell-Based Implementation of Referent Tracking.
7. Vague distance predicates.
8. Semantic state space for high-level maneuver planning in structured traffic scenes.
9. Modeling Principles and Methodologies - Spatial Representation and Reasoning.
10. From Top-Level to Domain Ontologies: Ecosystem Classifications as a Case Study.
11. A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff.
12. A Classification of Spatio-temporal Entities Based on Their Location in Space-Time.
13. A theory of granular parthood based on qualitative cardinality and size measures.
14. Computational ontologies of parthood, componenthood, and containment.
15. Spatial Relations Between Classes of Individuals.
16. The Mereology of Stages and Persistent Entities.
17. Modeling Surface Hydrology Concepts with Endurance and Perdurance.
18. Axioms for parthood and containment relations in bio-ontologies.
19. Understanding Taxonomies of Ecosystems: a Case Study.
20. Scale in Object and Process Ontologies.
21. Stratified Rough Sets and Vagueness.
22. Indeterminacy and Rough Approximation.
23. Reasoning about spatio-temporal relations at different levels of granularity.
24. Judgements about spatio-temporal relations.
25. Granularity in Reference to Spatio-Temporal Location and Relations.
26. A Taxonomy of Granular Partitions.
27. Granular partitions and vagueness.
28. Rough Sets in Spatio-temporal Data Mining.
29. Rough Sets in Approximate Spatial Reasoning.
30. A Qualitative Formalization of Built Environments.
31. Vagueness and the trade-off between the classification and delineation of geographic regions - an ontological analysis.
32. The RNA Ontology (RNAO): An ontology for integrating RNA sequence and structure data.
33. Vague size predicates.
34. Ontology-based Qualitative Feature Analysis: Bays as a Case Study.
35. On the Integration of Regional Classification and Delineation Systems into The National Map.
36. On Ontology in Image Analysis.
37. On Ontology and Epistemology of Rough Location.
38. A spatio-temporal ontology for geographic information integration.
39. Logical properties of foundational mereogeometrical relations in bio-ontologies.
40. A Qualitative Coordinate Language of Location of Figures within the Ground.
41. Logical properties of foundational relations in bio-ontologies.
42. The qualitative and time-dependent character of spatial relations in biomedical ontologies.
43. A formal theory for spatial representation and reasoning in biomedical ontologies.
44. Biomedical ontologies: What part-of is and isn't.
45. Granularity, scale and collectivity: When size does and does not matter.
46. Ontological Investigation of a Multiscale Ecosystem Classification Using the 'National Hierarchical Framework of Ecological Units' as an Example.
47. Endurants and perdurants in directly depicting ontologies.
48. A mereological theory of frames of reference.
49. Vague Reference and Approximating Judgments.
50. Approximate Qualitative Temporal Reasoning.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.