Till Mossakowski
First name(s): Till
Last name(s): Mossakowski

Publications of Till Mossakowski sorted by journal and type
| 1-25 | 26-50 | 51-55 |


Artificial Intelligence Journal

Till Mossakowski and Reinhard Moratz, Qualitative Reasoning about Relative Direction of Oriented Points (2012), in: Artificial Intelligence Journal, 180--181(34--45)
download
[DOI]

CoRR


CoRR. abs/0912.5533


Logica Univeralis


Logica Universalis

Till Mossakowski, Andrzej Tarlecki and Razvan Diaconescu, What is a logic translation? (2009), in: Logica Universalis, 3:1(95-124)
download
[DOI]

Spatial Cognition and Computation

John Bateman, Stefano Borgo, Klaus Lüttich, Claudio Masolo and Till Mossakowski, Ontological Modularity and Spatial Diversity (2007), in: Spatial Cognition and Computation, 7:1(97--128)
[URL]

Publications of type Incollection


2015

Oliver Kutz, John Bateman, Fabian Neuhaus, Till Mossakowski and Mehul Bhatt, 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
[DOI]
[URL]

2008

Till Mossakowski, Anne Haxthausen, Don Sannella and Andrzej Tarlecki, CASL, the Common Algebraic Specification Language, in: Logics of formal specification languages, pages 241-298, Springer-Verlag Heidelberg, 2008
download
[DOI]
Oliver Kutz, Dominik Lücke and Till Mossakowski, Heterogeneously Structured Ontologies: Integration, Connection, and Refinement, in: Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia, 2008
download
[URL]

2007

Till Mossakowski, Christian Maeder and Klaus Lüttich, The Heterogeneous Tool Set, in: VERIFY 2007, 4th International Verification Workshop, pages 119-135, 2007
download
[URL]

2005

Bernd Krieg-Brückner, Udo Frese, Klaus Lüttich, Christian Mandel, Till Mossakowski and Robert Ross, Specification of an Ontology for Route Graphs, in: Spatial Cognition IV, pages 390-412, Springer, D-69121 Heidelberg, Germany; http://www.springer.de, 2005
download
[URL]

Publications of type Inproceedings


to appear

André van Delden and Till Mossakowski, Mastering Left and Right. Different Approaches to a Problem That is Not Straight Forward, in: 36th Annual Conference on Artificial Intelligence (KI 2013), Springer, to appear

2013

Frank Dylla, Till Mossakowski, Thomas Schneider and Diedrich Wolter, Algebraic Properties of Qualitative Spatio-Temporal Calculi, in: Proceedings of Conference On Spatial Information Theory 2013, 2013
Till Mossakowski, Oliver Kutz and Christoph Lange, 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
download
[URL]

2012

Falko Schmid, Oliver Kutz, Lutz Frommberger, Till Mossakowski, Tomi Kauppinen and Cunyuan Cai, Intuitive and Natural Interfaces for Geospatial Data Classification, in: Place-related Knowledge Acquisition Research (P-KAR) workshop at Spatial Cognition 2012, 2012
download
Oliver Kutz, Janna Hastings and Till Mossakowski, Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs, in: 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications, pages 103-111, Springer, 2012
download
Oliver Kutz, Till Mossakowski, Joana Hois, Mehul Bhatt and John Bateman, Ontological Blending in DOL, in: C2GI - Computational Creativity, Concept Invention, and General Intelligence, at ECAI 2012, Publication Series of the Institute of Cognitive Science, 2012
download
[URL]
| 1-25 | 26-50 | 51-55 |