Thomas Bittner
Orcid: 0000-0003-4204-1532
According to our database1,
Thomas Bittner
authored at least 59 papers
between 1997 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
2019
On the computational realization of formal ontologies: Formalizing an ontology of instantiation in spacetime using Isabelle/HOL as a case study.
Appl. Ontology, 2019
Why Classificatory Information of Geographic Regions Is Quantum Information (Vision Paper).
Proceedings of the 14th International Conference on Spatial Information Theory, 2019
2018
Appl. Ontology, 2018
2017
Proceedings of the 13th International Conference on Spatial Information Theory, 2017
2016
Ontologies of Dynamical Systems and Verifiable Ontology-Based Computation: Towards a Haskell-Based Implementation of Referent Tracking.
Proceedings of the Formal Ontology in Information Systems, 2016
2014
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014
2011
Vagueness and the trade-off between the classification and delineation of geographic regions - an ontological analysis.
Int. J. Geogr. Inf. Sci., 2011
The RNA Ontology (RNAO): An ontology for integrating RNA sequence and structure data.
Appl. Ontology, 2011
2010
On the Integration of Regional Classification and Delineation Systems into <i>The National Map</i>.
Cartogr. Int. J. Geogr. Inf. Geovisualization, 2010
2009
Int. J. Geogr. Inf. Sci., 2009
Appl. Ontology, 2009
2008
Proceedings of the Anatomy Ontologies for Bioinformatics, Principles and Practice, 2008
2007
The qualitative and time-dependent character of spatial relations in biomedical ontologies.
Bioinform., 2007
Artif. Intell. Medicine, 2007
Proceedings of the Spatial Information Theory, 8th International Conference, 2007
A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
J. Biomed. Informatics, 2006
J. Biomed. Informatics, 2006
Ontological Investigation of a Multiscale Ecosystem Classification Using the "National Hierarchical Framework of Ecological Units" as an Example.
GeoInformatica, 2006
Artif. Intell. Medicine, 2006
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006
Proceedings of the Formal Ontology in Information Systems, 2006
2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the Spatial Information Theory, International Conference, 2005
2004
Proceedings of the Developments in Spatial Data Handling, 2004
Proceedings of the KR-MED 2004, 2004
Proceedings of the Geographic Information Science, Third International Conference, 2004
The Mereology of Stages and Persistent Entities.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
2003
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003
Proceedings of the Spatial Information Theory. Foundations of Geographic Information Science, 2003
Proceedings of the Spatial Information Theory. Foundations of Geographic Information Science, 2003
Proceedings of the Foundations of Geographic Information Science, 2003
2002
Judgements about spatio-temporal relations.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002
Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, 2002
Reasoning about spatio-temporal relations at different levels of granularity.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002
2001
Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, 2001
Proceedings of the Spatial Information Theory: Foundations of Geographic Information Science, 2001
Rough location.
GeoInfo series 23, TU Wien, ISBN: 978-3-901716-24-9, 2001
2000
Proceedings of the Rough Sets and Current Trends in Computing, 2000
Proceedings of the Database and Expert Systems Applications, 11th International Conference, 2000
1999
Proceedings of the Integrated Spatial Databases, Digital Inages and GIS, 1999
Proceedings of the Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, 1999
1998
Ann. Math. Artif. Intell., 1998
1997
Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, 1997