Keywords:
- CASL semantics proof strcutred specification architectural
- CASL SPASS prover automatic FOL SoftFOL MathServe Vampire
- composition table qualitative calculus verification heterogeneous
- distributed heterogeneous ontology DOL
- distributed heterogeneous ontology DOL COLORE
- heterogeneous theorem proving tools logic proofs
- institutions heterogeneous specification comorphism
- Left-Right Distinction Qualitative Spatial Reasoning Oriented Matroid Consistency Realizability Semi-Decision Procedure Benchmark
- logic translation institution
- molecule graph fullerene MSOL OWL ontology
- ontologiy DOL semantics institution institute
- ontology alignment
- ontology consistency modular architectural specification
- ontology heterogeneity structuring alignment refinement Carnap Goguen institution
- ontology interoperability translation institution
- ontology language heterogeneous semantics translation
- OpenStreetMap ontology tag activity rails
- OPRA qualitative spatial reasoning composition table
- OPRA qualitative spatial reasoning street network navigation
- proof heterogeneity logic institution prover theorem integration development graph
- qualitative calculus consistency
- qualitative spatial reasoning dipole calculus relation algebra
- Qualitative Spatial Reasoning oriented point composition table
- Qualitative Spatial Reasoning Relation Algebra Affine Geometry
- qualitative spatial reasoning relation algebra algebraic closure
Publications of Till Mossakowski sorted by recency
E pluribus unum: Formalisation, Use-Cases, and Computational Support for Conceptual Blending, in: Computational Creativity Research: Towards Creative Machines. Thinking Machines. Studies in Computational Cognition. Editors: T. R. Besold, M. Schorlemmer, A. Smaill, pages 167-196, Atlantis - Springer, 2015 | , , , and ,
[DOI] [URL] |
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables, in: 20th International FLAIRS Conference (FLAIRS-20), pages 665-670, AAAI Press, 2007 | , and ,
|
CASL Specifications of Qualitative Calculi, in: Conference on Spatial Information Theory, pages 200-217, Springer; Berlin, 2005 | and ,
[URL] |
Intuitive and Natural Interfaces for Geospatial Data Classification, in: Place-related Knowledge Acquisition Research (P-KAR) workshop at Spatial Cognition 2012, 2012 | , , , , and ,
|
What is a logic translation? (2009), in: Logica Universalis, 3:1(95-124) | , and ,
[DOI] |
Heterogeneous Logical Environments for Distributed Specifications, in: WADT 2008, pages 266--289, Springer, 2009 | and ,
[DOI] |
A Categorical Perspective on Qualitative Constraint Calculi, in: Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pages 28--39, 2006 | , and ,
|
Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity (2010), in: CoRR. abs/0912.5533 | and ,
[URL] |
Qualitative Reasoning about Relative Direction of Oriented Points (2012), in: Artificial Intelligence Journal, 180--181(34--45) | and ,
[DOI] |
The Heterogeneous Tool Set, in: TACAS 2007, pages 519-522, Springer-Verlag Heidelberg, 2007 | , and ,
|
The Heterogeneous Tool Set, in: VERIFY 2007, 4th International Verification Workshop, pages 119-135, 2007 | , and ,
[URL] |
Three Semantics for the Core of the Distributed Ontology Language, in: FOIS 2012: 7th International Conference on Formal Ontology in Information Systems, pages 337-352, IOS Press; Amsterdam; http://www.iospress.nl, 2012 | , and ,
[URL] |
Three Semantics for the Core of the Distributed Ontology Language, in: IJCAI 2013, to appear | , and ,
Semantics of the distributed ontology language: Institutes and Institutions, in: Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, pages 212-230, Springer, 2013 | , and ,
[URL] |
The Distributed Ontology, Modeling and Specification Language, in: WoMo 2013, to appear | , , and ,
Heterogeneous specification and the heterogeneous tool set, Universitaet Bremen, 2005 | ,
|
Heterogeneous Theories and the Heterogeneous Tool Set, in: Semantic Interoperability and Integration, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germ, 2005 | ,
[URL] |
A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments (2011), in: Artificial Intelligence Journal, 175(2099-2127) | , and ,
[DOI] |
Reasoning Support for CASL with Automated Theorem Proving Systems, in: WADT 2006, pages 74-91, Springer-Verlag Heidelberg, 2007 | and ,
|
Qualitative reasoning about convex relations, in: Spatial Cognition VI 2008, pages 426-440, Springer, 2008 | , and ,
[DOI] |
Streets to the OPRA - Finding your destination with imprecise knowledge, in: IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning, pages 25-32, 2011 | , and ,
[URL] |
A much better polynomial time approximation of consistency in the LR calculus, in: Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), pages 175-185, IOS Press; Amsterdam; http://www.iospress.nl, 2010 | and ,
[URL] |
LoLa: A Modular Ontology of Logics, Languages, and Translations, in: Workshop on modular ontologies, 2012 | , and ,
[URL] |
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization, in: Conferences on Intelligent Computer Mathematics CICM 2012, Springer, 2012 | , , and ,
[DOI] |
Chinese Whispers and Connected Alignments, in: Proc. of the 5th International Workshop on Ontology Matching, OM-2010, collocated with the 9th International Semantic Web Conference ISWC-2010, November 7, 2010, Shanghai, China., pages 25-36, 2010 | , , and ,
[URL] |