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

Publications of Till Mossakowski sorted by title
| 1-25 | 26-50 | 51-55 |


A

Till Mossakowski, Lutz Schröder and Stefan Wölfl, A Categorical Perspective on Qualitative Constraint Calculi, in: Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pages 28--39, 2006
download
Oliver Kutz and Till Mossakowski, A Modular Consistency Proof for Dolce, in: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, pages 227-234, AAAI Press; Menlo Park, CA, 2011
[URL]
Dominik Lücke and Till Mossakowski, 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
download
[URL]
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

C

Stefan Wölfl and Till Mossakowski, CASL Specifications of Qualitative Calculi, in: Conference on Spatial Information Theory, pages 200-217, Springer; Berlin, 2005
download
[URL]
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, Immanuel Normann, Till Mossakowski and Dirk Walther, 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
[URL]

D

Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski and Rafaela Rau, DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap, in: Fourth International Conference on GeoSpatial Semantics, pages 88--107, Springer, 2011
download
[URL]

E

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]

H

Mihai Codescu and Till Mossakowski, Heterogeneous colimits, in: MoVaH'08 Workshop on Modeling, Validation and Heterogeneity, IEEE press, 2008
download
[URL]
Till Mossakowski, Heterogeneous Theories and the Heterogeneous Tool Set, in: Semantic Interoperability and Integration, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germ, 2005
download
[URL]
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]
Janna Hastings, Oliver Kutz and Till Mossakowski, How to model the shapes of molecules? Combining topology and ontology using heterogeneous specifications, in: Deep Knowledge Representation Challenge Workshop, co-located with K-CAP 2011, 2011
download
[URL]

I

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

L


M

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
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, Dominik Lücke and Till Mossakowski, Modular Construction of Models - Towards a Consistency Proof for the Foundational Ontology DOLCE, in: First International Workshop on Foundations of Computer Science as Logic-Related, (ICTAC-08), 2008
[URL]
| 1-25 | 26-50 | 51-55 |