## Publications

### 2020

**Substitute Selection for a Missing Tool Using Robot-Centric Conceptual Knowledge Of Objects**.

In: F. Santini, editor,

*35th ACM/SIGAPP Symposium On Applied Computing*. 2020. to appear

Madhura Thosar, Christian A. Mueller, Georg Jaeger, Max Pfingsthorn, Michael Beetz, Sebastian Zug and Till Mossakowski.

[BibTeX]

### 2019

**WOMoCoE - 4th International Workshop on Ontology Modularity, Contextuality, and Evolution**.

CEUR Workshop Proceedings. volume 2518. 2019. part of the JOWO 2019 The Joint Ontology Workshops Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology Graz, Austria, September 23-25, 2019.

Stefano Borgo, Loris Bozzato, Till Mossakowski and Antoine Zimmermann.

[doi] [BibTeX]

**Extensions of Generic DOL for Generic Ontology Design Patterns**.

In:

*WoMoCoE, Joint Ontology Workshops (JOWO)*. 2019.

Mihai Codescu, Bernd Krieg-Brückner and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Institutions for SQL Database Schemas and Datasets.**.

In: J. L. Fiadeiro and I. Tutu, editors,

*WADT*, volume 11563, series Lecture Notes in Computer Science, pages 67-86. Springer, 2019.

Martin Glauer and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Generic Ontology Design Patterns at Work**.

In: T. Hahmann, R. Peñaloza, S. Schulz, G. Guizzardi, O. Kutz and N. Troquard, editors,

*2nd International Workshop on Bad Or Good Ontology (BOG). Part of Joint Ontology Workshops (JOWO)*. 2019.

Bernd Krieg-Brückner, Till Mossakowski and Fabian Neuhaus.

[doi] [abstract] [BibTeX]

**Towards Fuzzy Neural Conceptors**.

*IfCoLog Journal of Logics and their Applications*, 6(4):725-744, 2019.

Till Mossakowski, Razvan Diaconescu and Martin Glauer.

[doi] [BibTeX]

**Towards a Prototypical Approach to Tool-Use Improvisation - Extended Abstract**.

In:

*International Conference on Autonomous Agents and Multiagent Systems*. Montreal, 2019.

Madhura Thosar, Christian Mueller, Sebastian Zug and Max Pfingsthorn.

[BibTeX]

### 2018

**Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017**.

CEUR Workshop Proceedings. volume 2050. CEUR-WS.org, 2018.

Stefano Borgo, Oliver Kutz, Frank Loebe and Fabian Neuhaus.

[doi] [BibTeX]

**Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution**.

In: R. Confalonieri, A. Pease, M. Schorlemmer, T. Besold, O. Kutz, E. Maclean and M. Kaliakatsos-Papakostas, editors,

*Concept Invention. Foundations, Implementation, Social Aspects and Applications*, pages 69-98. Springer, 2018.

Mihai Codescu, Fabian Neuhaus, Till Mossakowski, Oliver Kutz and Danny de Jesús Gómez-Ramírez.

[doi] [abstract] [BibTeX]

**Proceedings of the Joint Proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018) co-located with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, USA, October 29th, 2018.**.

CEUR Workshop Proceedings. volume 2237. CEUR-WS.org, 2018.

Kristijonas Cyras, Tiago Oliveira, Matthew Williams, Loris Bozzato, Martin Homola, Till Mossakowski and Antoine Zimmermann.

[doi] [BibTeX]

**Image Schemas and Concept Invention**.

In: A. Confalonieri, R.and Pease, M. Schorlemmer, T. Besold, O. Kutz, E. Maclean and M. Kaliakatsos-Papakostas, editors,

*Concept Invention*, pages 99-131. Springer, 2018.

Maria M. Hedblom, Oliver Kutz and Fabian Neuhaus.

[BibTeX]

**Towards Robot-Centric Conceptual Knowledge Acquisition**.

In:

*Robots that Learn and Reason Workshop in IEEE/RSJ International Conference on Intelligent Robots and Systems*. Madrid, 2018.

Georg Jäger, Christian A. Mueller, Madhura Thosar, Sebastian Zug and Andreas Birk.

[BibTeX]

**Multi-view Consistency in UML. A Survey**.

In: R. Heckel and G. Taentzer, editors,

*Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig*, volume 10800, series Lecture Notes in Computer Science, pages 1-25. Springer Verlag, 2018. see also https://arxiv.org/abs/1610.03960

Alexander Knapp and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Modular Semantics and Characteristics for Bipolar Weighted Argumentation Graphs**.

2018.

Till Mossakowski and Fabian Neuhaus.

[doi] [abstract] [BibTeX]

**Partial pushout semantics of generics in DOL**.

*Theoretical Computer Science*, 741:58-70, 2018.

Till Mossakowski and Bernd Krieg-Brückner.

[doi] [abstract] [BibTeX]

**On the Definition of `Ontology'**.

In: S. Borgo, O. Kutz, F. Loebe and F. Neuhaus, editors,

*Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017*, volume 2050, series CEUR Workshop Proceedings. CEUR-WS.org, 2018.

Fabian Neuhaus.

[doi] [BibTeX]

**A Review of Knowledge Bases for Service Robots in Household Environments**.

In:

*6th International Workshop on Artificial Intelligence and Cognition*. 2018.

Madhura Thosar, Sebastian Zug, Alpha Mary Skaria and Akshay Jain.

[BibTeX]

**From Senses to Knowledge: A Multi-layered Dataset For Grounded Knowledge About Household Objects**.

In:

*International Workshop on Concepts in Action: Representation, Learning, and Application*. Osnabrueck, 2018.

Madhura Thosar and Sebastian Zug.

[BibTeX]

**What Stands-in for a Missing Tool?: A Prototypical Grounded Knowledge-based Approach to Tool Substitution**.

In:

*11th International Workshop on Cognitive Robotics in 16th International Conference on Principles of Knowledge Representation and Reasoning*. Tempe, Arizona, 2018.

Madhura Thosar, Christian Mueller and Sebastian Zug.

[BibTeX]

### 2017

**A narrative in three acts: Using combinations of image schemas to model events**.

*Biologically Insprired Cognitive Architectures*, 17:10-20, 2017.

Tarek R. Besold, Maria M. Hedblom and Oliver Kutz.

[BibTeX]

**A categorical approach to networks of aligned ontologies**.

*Journal on data semantics*, 6(4):155-197, 2017.

Mihai Codescu, Till Mossakowski and Oliver Kutz.

[doi] [BibTeX]

**Ontohub: A semantic repository engine for heterogeneous ontologies**.

*Applied ontology*, 12(3-4):275-298, 2017.

Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski and Fabian Neuhaus.

[doi] [BibTeX]

**Specification refinements: calculi, tools, and applications**.

*Science of Computer Programming*, 144:1–49, 2017.

Mihai Codescu, Till Mossakowski, Donald Sannella and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

**A Survey of Qualitative Spatial and Temporal Calculi - Algebraic and Computational Properties**.

*ACM Computing Surveys (CSUR)*, 50(1), 2017. earlier version available at http://arxiv.org/abs/1606.00133

Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André van Delden, Jasper van de Ven and Diedrich Wolter.

[doi] [BibTeX]

**Institutions for database schemas and datasets**.

In:

*CALCO early ideas 2017*. 2017.

Martin Glauer and Till Mossakowski.

[doi] [BibTeX]

**Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language,**.

In:

*Proc. of Advancements in Cogntivie Systems*. 2017.

Dagmar Gromann and Maria M. Hedblom.

[BibTeX]

**Beneath the Paint: A Visual Journey through Conceptual Metaphor Violation**.

In: O. Kutz, S. Borgo, F. Loebe and F. Neuhaus, editors,

*Proceedings of the Third Joint Ontology Workshops (JOWO)*. 2017.

Maria M. Hedblom.

[abstract] [BibTeX]

**Between Contact and Support: Introducing a logic for image schemas and directed movement**.

In:

*16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017)*, pages 256-268. 2017.

Maria M. Hedblom, Oliver Kutz, Till Mossakowski and Fabian Neuhaus.

[doi] [BibTeX]

**UML interactions meet state machines - an institutional approach**.

In: F. Bonchi and B. König, editors,

*7th Conference on Algebra and Coalgebra in Computer Science (CALCO)*. LIPICS, 2017.

Alexander Knapp and Till Mossakowski.

[doi] [BibTeX]

**Safe Ontology Development with Generic Ontology Design Patterns**.

In:

*Ontology Design and Patterns, workshop at ISWC 2017*. 2017.

Bernd Krieg-Brückner and Till Mossakowski.

[doi] [BibTeX]

**Canonical Selection of Colimits**.

In: M. Roggenbach, editor,

*WADT 2016*, volume 10644, series LNCS, pages 170-188. Springer, 2017.

Till Mossakowski, Florian Rabe and Mihai Codescu.

[doi] [BibTeX]

**Relations Between Spatial Calculi About Directions and Orientations**.

In:

*International Joint Conference on Artificial Intelligence 2017, Melbourne*. 2017.

Till Mossakowski and Reinhard Moratz.

[doi] [BibTeX]

**The Distributed Ontology, Model and Specification Language – DOL**.

In: M. Roggenbach, editor,

*WADT 2016*, volume 10644, series LNCS, pages 5-10. Springer, 2017.

Till Mossakowski.

[doi] [BibTeX]

**Web-retrieval supported argument space exploration**.

In:

*Proceedings of the 2017 Conference on Conference Human Information Interaction and Retrieval*, pages 309-312. 2017.

Marcus Thiel, Philipp Ludwig, Till Mossakowski, Fabian Neuhaus and Andreas Nürnberger.

[BibTeX]

**Web-Retrieval supported Argument Space Exploration**.

In:

*CHIIR 2017*, pages 309-312. 2017.

Marcus Thiel, Philipp Ludwig, Till Mossakowski, Fabian Neuhaus and Andreas Nürnberger.

[doi] [BibTeX]

### 2016

**Heterogeneous verification in the context of model driven engineering**.

*Sci. Comput. Program.*, 126:3-30, 2016.

Daniel Calegari, Till Mossakowski and Nora Szasz.

[doi] [BibTeX]

**Ontohub: A semantic repository for heterogeneous ontologies**.

2016.

Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski and Fabian Neuhaus.

[doi] [BibTeX]

**Breaking Down Finance: A method for concept simplification by identifying movement structures from the image schema PATH-following**.

In:

*Proc. of the Joint Ontology Workshops (JOWO)*. 2016.

Dagmar Gromann and Maria M. Hedblom.

[BibTeX]

**Image schemas in computational conceptual blending**.

*Cognitive Systems Research*, 39:42 - 57, 2016. From human to artificial cognition (and back): new perspectives of cognitively inspired AI systems

Maria M. Hedblom, Oliver Kutz and Fabian Neuhaus.

[doi] [abstract] [BibTeX]

**Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes**.

*Semantic Web*, 7(1):25-61, 2016.

Mathew Joseph, Gabriel M. Kuper, Till Mossakowski and Luciano Serafini.

[doi] [BibTeX]

**Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies.**.

In: O. Kutz, S. de Cesare, M. M. Hedblom, T. R. Besold, T. Veale, F. Gailly, G. Guizzardi, M. Lycett, C. Partridge, O. Pastor, M. Grüninger, F. Neuhaus, T. Mossakowski, S. Borgo, L. Bozzato, C. D. Vescovo, M. Homola, F. Loebe, A. Barton and J.-R. Bourguet, editors,

*JOWO@FOIS*, volume 1660, series CEUR Workshop Proceedings. CEUR-WS.org, 2016.

Eugen Kuksa and Till Mossakowski.

[doi] [BibTeX]

**Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub**.

In: P. Fontaine, S. Schulz and J. Urban, editors,

*Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016.*, volume 1635, series CEUR Workshop Proceedings, pages 56-68. CEUR-WS.org, 2016.

Eugen Kuksa and Till Mossakowski.

[doi] [BibTeX]

**Ontology Patterns with DOWL: The Case of Blending**.

In: M. Lenzerini and R. Peñaloza, editors,

*Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016.*, volume 1577, series CEUR Workshop Proceedings. CEUR-WS.org, 2016.

Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski and Mihai Codescu.

[doi] [BibTeX]

**Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016)**.

CEUR Workshop Proceedings. volume 1660. CEUR-WS.org, 2016.

Oliver Kutz, Sergio de Cesare, Maria M Hedblom, Tarek Richard Besold, Tony Veale, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor, Michael Grüninger, Fabian Neuhaus, Till Mossakowski, Stefano Borgo, Loris Bozzato, Chiara Del Vescovo, Martin Homola, Frank Loebe, Adrien Barton and Jean-Remi Bourguet.

[doi] [BibTeX]

**Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016.**.

CEUR Workshop Proceedings. volume 1660. CEUR-WS.org, 2016.

Oliver Kutz, Sergio de Cesare, Maria M. Hedblom, Tarek Richard Besold, Tony Veale, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor, Michael Grüninger, Fabian Neuhaus, Till Mossakowski, Stefano Borgo, Loris Bozzato, Chiara Del Vescovo, Martin Homola, Frank Loebe, Adrien Barton and Jean-Rémi Bourguet.

[doi] [BibTeX]

**Rock, Paper, Sissors: What Can I Use In Place of a Hammer (Extended Abstract)**.

In:

*Robotics Fellowship Talk at The Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16)*. Phoenix, Arizona, USA, 2016.

Madhura Thosar.

[BibTeX]

### 2015

**BFO 2.0 Specification and User Guide**.

2015.

Mauricio Almeida, Jonathan Bona, Mathias Brochhausen, Werner Ceusters, Melanie Courtot, Randall Dipert, Albert Goldfain, Pierre Grenon, Janna Hastings, William Hogan and others.

[doi] [BibTeX]

**Model-Driven Engineering in the Heterogeneous Tool Set**.

In: C. Braga and N. Martí-Oliet, editors,

*17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings*, volume 8941, series Lecture Notes in Computer Science, pages 64-79. 2015.

Daniel Calegari García, Till Mossakowski and Nora Szasz.

[doi] [abstract] [BibTeX]

**Choosing the Right Path: Image Schema Theory as a Foundation for Concept Invention**.

*Journal of Artificial General Intelligence*, 6(1):21-54, 2015.

Maria M Hedblom, Oliver Kutz and Fabian Neuhaus.

[doi] [BibTeX]

**Image schemas as Families of Theories**.

In:

*Proceedings of the Workshop ``Computational Creativity, Concept Invention, and General Intelligence''*, volume 2, pages 19-33. 2015.

Maria M Hedblom, Oliver Kutz and Fabian Neuhaus.

[BibTeX]

**Shape up, baby! Perception, image schemas and shapes in concept formation**.

In:

*Proc. of the Shapes 3.0 Workshop*. 2015.

Maria M. Hedblom and Oliver Kutz.

[BibTeX]

**Modularity of Ontologies in an Arbitrary Institution**.

In:

*Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday*, pages 361-379. 2015.

Yazmin Angélica Ibáñez-Garca, Till Mossakowski, Donald Sannella and Andrzej Tarlecki.

[doi] [BibTeX]

**Modularity of Ontologies in an Arbitrary Institution**.

In: N. Mart-Oliet, P. C. Ölveczky and C. L. Talcott, editors,

*Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday*, volume 9200, series Lecture Notes in Computer Science, pages 361-379. Springer, 2015.

Yazmin Angélica Ibáñez-García, Till Mossakowski, Donald Sannella and Andrzej Tarlecki.

[doi] [BibTeX]

**An Institution for Simple UML State Machines**.

In: A. Egyed and I. Schaefer, editors,

*Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings*, volume 9033, series Lecture Notes in Computer Science, pages 3-18. Springer, 2015.

Alexander Knapp, Till Mossakowski, Markus Roggenbach and Martin Glauer.

[doi] [BibTeX]

**Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -**.

In: R. D. Nicola and R. Hennicker, editors,

*Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering*, volume 8950, series Lecture Notes in Computer Science, pages 215-230. Springer, 2015.

Alexander Knapp, Till Mossakowski and Markus Roggenbach.

[doi] [BibTeX]

**E pluribus unum - Formalisation, Use-Cases, and Computational Support for Conceptual Blending**.

In: T. R. Besold, M. Schorlemmer and A. Smaill, editors,

*Computational Creativity Research: Towards Creative Machines*, volume 7, series Atlantis Thinking Machines, pages 167-196. Atlantis Press, 2015.

Oliver Kutz, John Bateman, Till Mossakowski, Fabian Neuhaus and Mehul Bhatt.

[doi] [abstract] [BibTeX]

**Extended Heterogeneous KR&RFramework for Concept Invention**.

2015.

Till Mossakowski, Mihai Codescu, Fabian Neuhaus, Oliver Kutz and Schorlemmer.

[doi] [BibTeX]

**Relations Between Spatial Calculi About Directions and Orientations**.

*J. Artif. Intell. Res. (JAIR)*, 54:277-308, 2015.

Till Mossakowski and Reinhard Moratz.

[doi] [BibTeX]

**The Distributed Ontology, Modeling and Specification Language – DOL**.

In: A. Koslow and A. Buchsbaum, editors,

*The Road to Universal Logic*, pages 489-520. Birkhäuser, 2015.

Till Mossakowski, Mihai Codescu, Fabian Neuhaus and Oliver Kutz.

[doi] [BibTeX]

**Can I Use a Sandal Instead of a Hammer?: A Cognitive Approach to a Tool Substitution (Extended Abstract)**.

In:

*Learning Object Affordances: a Fundamental Step to Allow Prediction, Planning and Tool Use? Workshop at The 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems*. Hamburg, Germany, 2015.

Madhura Thosar.

[BibTeX]

**I Don't Find a Hammer, Can I Use a Rock? (Extended Abstract)**.

In:

*Women in Robotics Workshop at The 2015 Robotics: Science and Systems Conference*. Rome, Italy, 2015.

Madhura Thosar.

[BibTeX]

**Rock, Paper, Sissors: What Can I Use In Place of a Hammer**.

In:

*Doctoral Consortium at the 38th German Conference on Artificial Intelligence*. Dresden, Germany, 2015.

Madhura Thosar.

[BibTeX]

### 2014

**Space for Space. SpacePortal: the 21st Century Home for Spatial Ontologies**.

In:

*Short paper for Spatial Cognition 2014, Bremen, Germany, 15-19 September 2014*. 2014.

John Bateman, Oliver Kutz, Till Mossakowski, Aleksandra Sojic and Mihai Codescu.

[BibTeX]

**Computing Narratives of Cognitive User Experience for Building Design Analysis: A Field Report on KR for Industry Scale Computer Aided Architecture Design**.

In:

*14th International Conference on Principles of Knowledge Representation and Reasoning*. Vienna, Austria, 2014.

Mehul Bhatt, Carl Schultz and Madhura Thosar.

[BibTeX]

**A Categorical Approach to Ontology Alignment**.

In:

*Proc. of the 9th International Workshop on Ontology Matching (OM-2014), ISWC-2014, Riva del Garda, Trentino, Italy.*, series CEUR-WS online proceedings. 2014.

Mihai Codescu, Till Mossakowski and Oliver Kutz.

[abstract] [BibTeX]

**The Institution-Theoretic Scope of Logic Theorems**.

*Logica Universalis*, 8:393–406, 2014.

Razvan Diaconescu, Till Mossakowski and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

**On the Cognitive and Logical Role of Image Schemas in Computational Conceptual Blending**.

In: A. Lieto, D. P. Radicioni and M. Cruciani, editors,

*AIC 2014 Artificial Intelligence and Cognition*, volume 1315, series CEUR Workshop Proceedings, pages 110-121. CEUR-WS.org, 2014.

Maria M. Hedblom, Oliver Kutz and Fabian Neuhaus.

[doi] [BibTeX]

**An Institutional Framework for Heterogeneous Formal Development in UML**.

2014. Note published in arXiv.

Alexander Knapp, Till Mossakowski and Markus Roggenbach.

[doi] [abstract] [BibTeX]

**Blending in the Hub. Towards a collaborative concept invention platform**.

In:

*Fifth International Conference on Computational Creativity*. 2014.

Oliver Kutz, Mossakowski, Fabian Neuhaus and Mihai Codescu.

[doi] [abstract] [BibTeX]

**A relatively complete calculus for structured heterogeneous specifications**.

In: A. Muscholl, editor,

*17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)*, volume 8412, series Lecture Notes in Computer Science, pages 441-456. Springer-Verlag Berlin Heidelberg, 2014.

Till Mossakowski and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

**Ontohub: A semantic repository for heterogeneous ontologies**.

In:

*Proc. of the Theory Day in Computer Science (DACS-2014), satellite workshop of ICTAC-2014, University of Bucharest, September 15-16, 2014*. 2014.

Till Mossakowski, Oliver Kutz and Mihai Codescu.

[abstract] [BibTeX]

**Parchments for CafeOBJ logics**.

In: S. Iida, J. Meseguer and K. Ogata, editors,

*Specification, Algebra, and Software. Essays Dedicated to Kokichi Futatsugi*, volume 8873, series Lecture Notes in Computer Science, pages 66-91. 2014.

Till Mossakowski, Wieslaw Pawlowski, Donald Sannella and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

**Proof Support for Common Logic**.

In:

*Proc. of the Workshop on Automated Reasoning for Quantified Non-Classical Logic (ARQNL), July 23, Vienna Summer of Logic,, 2014*. 2014.

Till Mossakowski, Mihai Codescu, Oilver Kutz, C. Lange and M. Gruninger.

[abstract] [BibTeX]

**What Is a Derived Signature Morphism?**.

In: M. Codescu, R. Diaconescu and I. Tutu, editors,

*WADT*, volume 9463, series Lecture Notes in Computer Science, pages 90-109. Springer, 2014.

Till Mossakowski, Ulf Krumnack and Tom Maibaum.

[doi] [BibTeX]

**F. Neuhaus, O. Kutz, M. Codescu, T. Mossakowski Fabricating Monsters is Hard - Towards the Automation of Conceptual Blending**.

In:

*Proc. of Computational Creativity, Concept Invention, and General Intelligence (C3GI at ECAI-14), Prague, 2014*. 2014.

Fabian Neuhaus, Oliver Kutz, Mihai Codescu and T. Mossakowski.

[abstract] [BibTeX]

**Fabricating Monsters is Hard - Towards the Automation of Conceptual Blending**.

In:

*Proc. of Computational Creativity, Concept Invention, and General Intelligence (C3GI at ECAI-14), Prague, 2014*. 2014.

Fabian Neuhaus, Oliver Kutz, Mihai Codescu and T. Mossakowski.

[doi] [abstract] [BibTeX]

**Towards an Ontology Evaluation Testbed**.

In: F. Neuhaus, S. Ray and R. D. Sriram, editors, . 2014.

Fabian Neuhaus.

[doi] [BibTeX]

### 2013

**RECON-A Controlled English for Business Rules.**.

In: P. Fodor, D. Roman, D. Anicic, A. Wyner, M. Palmirani, D. Sottara and F. Lévy, editors,

*RuleML*, volume 1004, series CEUR Workshop Proceedings. CEUR-WS.org, 2013.

Ed Barkmeyer and Fabian Neuhaus.

[doi] [BibTeX]

**Checking conservativity with Hets**.

In: R. Heckel and S. Milius, editors,

*CALCO 2013*, volume 8089, series Lecture Notes in Computer Science, pages 315-321. Springer-Verlag Berlin Heidelberg, 2013.

Mihai Codescu, Till Mossakowski and Christian Maeder.

[doi] [abstract] [BibTeX]

**Compiling Logics**.

In: N. Martí-Oliet and M. Palomino, editors,

*Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012*, volume 7841, series Lecture Notes in Computer Science, pages 111-126. Springer, 2013.

Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski and Florian Rabe.

[doi] [abstract] [BibTeX]

**The VSE Refinement Method in Hets**.

*Electronic Communications of the EASST*, 62, 2013.

Mihai Codescu, Bruno Langenstein, Christian Maeder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Algebraic Properties of Qualitative Spatio-Temporal Calculi**.

In: T. Tenbrink, J. G. Stell, A. Galton and Z. Wood, editors,

*Proceedings of Conference On Spatial Information Theory 2013*, volume 8116, series Lecture Notes in Computer Science, pages 516-536. Springer-Verlag Berlin Heidelberg, 2013.

Frank Dylla, Till Mossakowski, Thomas Schneider and Diedrich Wolter.

[doi] [abstract] [BibTeX]

**Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain using CASL**.

In: N. Martí-Oliet and M. Palomino, editors,

*Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012*, volume 7841, series Lecture Notes in Computer Science, pages 178-194. Springer, 2013.

Phillip James, Alexander Knapp, Till Mossakowski and Markus Roggenbach.

[doi] [abstract] [BibTeX]

**A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory**.

In: J. Carette, J. H. Davenport, W. Windsteiger, P. Sojka, D. Aspinall and C. Lange, editors,

*Intelligent Computer Mathematics, Conferences on Intelligent Computer Mathematics*, volume 7961, series Lecture Notes in Computer Science, pages 200-215. Springer-Verlag Berlin Heidelberg, 2013.

Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel and Wolfgang Windsteiger.

[doi] [abstract] [BibTeX]

**Canonicalization in the PrIKL Reasoner**.

*Journal of Software*, 8(5):1058-1062, 2013.

Don Libes, Antoine Gerardin, Severin Tixier and Fabian Neuhaus.

[BibTeX]

**Semantics of the distributed ontology language: Institutes and Institutions**.

In: N. Martí-Oliet and M. Palomino, editors,

*Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012*, volume 7841, series Lecture Notes in Computer Science, pages 212-230. Springer, 2013.

Till Mossakowski, Oliver Kutz and Christoph Lange.

[doi] [abstract] [BibTeX]

**The Distributed Ontology, Modeling and Specification Language**.

In: C. D. Vescovo, T. Hahmann, D. Pearce and D. Walther, editors,

*WoMo 2013*, volume 1081, series CEUR-WS online proceedings. 2013.

Till Mossakowski, Oliver Kutz, Mihai Codescu and Christoph Lange.

[doi] [abstract] [BibTeX]

**Three Semantics for the Core of the Distributed Ontology Language**.

In: F. Rossi, editor,

*IJCAI 2013*. 2013. IJCAI 2013 track on Best Papers in Sister Conferences

Till Mossakowski, Oliver Kutz and Christoph Lange.

[doi] [abstract] [BibTeX]

**Learning to Understand by Evolving Theories**.

In:

*Knowledge Representation and Reasoning in Robotics workshop at 29th International Conference on Logic Programming*. Istanbul, Turkey, 2013.

Martin E. Müller and Madhura Thosar.

[BibTeX]

**Towards ontology evaluation across the life cycle - The Ontology Summit 2013**.

*Applied Ontology*, 8(3):179-194, 2013.

Fabian Neuhaus, Amanda Vizedom, Ken Baclawski, Mike Bennett, Mike Dean, Michael Denny, Michael Grüninger, Ali Hashemi, Terry Longstreth, Leo Obrst and others.

[BibTeX]

**A Naive Approach For Learning The Semantics Of Effects Of An Action**.

PhD thesis, Bonn-Rhein-Sieg University of Applied Sciences, 2013.

Madhura Thosar.

[BibTeX]

**Mastering Left and Right. Different Approaches to a Problem That is Not Straight Forward**.

In:

*36th Annual Conference on Artificial Intelligence (KI 2013)*, volume 8077, series Lecture Notes in Artificial Intelligence, pages 248-259. Springer, 2013.

André van Delden and Till Mossakowski.

[doi] [abstract] [BibTeX]

### 2012

**A Proof Theoretic Interpretation of Model Theoretic Hiding**.

In: T. Mossakowski and H.-Jö. Kreowski, editors,

*Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010*, volume 7137, series Lecture Notes in Computer Science, pages 118-138. Springer, 2012.

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski and Florian Rabe.

[BibTeX]

**Ontology-based Route Planning for OpenStreetMap**.

In: D. Kolas, M. Perry, R. Grütter and M. Koubarakis, editors,

*Terra Cognita 2012: Foundations, Technologies and Applications of the Geospatial Web*, volume 901, series CEUR-WS online proceedings, pages 62-73. 2012.

Mihai Codescu, Daniel Couto Vale, Oliver Kutz and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Towards Logical Frameworks in the Heterogeneous Tool Set Hets**.

In: T. Mossakowski and H.-Jö. Kreowski, editors,

*Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010*, volume 7137, series Lecture Notes in Computer Science, pages 139-159. Springer, 2012.

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe and Kristina Sojakova.

[BibTeX]

**The Distributed Ontology Language (DOL): Use Cases, Syntax, and Semantics**.

In:

*TKE (Terminology and Knowledge Engineering) Conference 2012*. 2012.

Christian Galinski, Oliver Kutz, Christoph Lange and Till Mossakowski.

[BibTeX]

**What's in an `is about' Link? Chemical Diagrams and the Information Artifact Ontology**.

In: O. Bodenreider, M. E. Martone and A. Ruttenberg, editors,

*ICBO-2011 International Conference on Biomedical Ontology*, series CEUR Vol-833, pages 201-208. CEUR, 2012.

Janna Hastings, Colin R. Batchelor, Fabian Neuhaus and Christoph Steinbeck.

[doi] [BibTeX]

**Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs**.

In: A. Ramsay and G. Agre, editors,

*15th International Conference on Artificial Intelligence: Methodology, Systems, Applications*, volume 7557, series Lecture Notes in Computer Science, pages 103-111. Springer, 2012.

Oliver Kutz, Janna Hastings and Till Mossakowski.

[abstract] [BibTeX]

**The Babel of the Semantic Web Tongues - In Search of the Rosetta Stone of Interoperability**.

In: F. van Harmelen, J. A. Hendler, P. Hitzler, K. Janowicz and D. Vrandev ci'c, editors,

*What will the Semantic Web look like 10 Years from now? Workshop at ISWC*. 2012.

Oliver Kutz, Christoph Lange, Till Mossakowski, C. Maria Keet, Fabian Neuhaus and Michael Grüninger.

[doi] [BibTeX]

**LoLa: A Modular Ontology of Logics, Languages, and Translations**.

In: T. Schneider and D. Walther, editors,

*Workshop on modular ontologies*, volume 875, series CEUR-WS online proceedings. 2012.

Christoph Lange, Till Mossakowski and Oliver Kutz.

[doi] [abstract] [BibTeX]

**The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization**.

In:

*Conferences on Intelligent Computer Mathematics CICM 2012*, volume 7362, series Lecture Notes in Computer Science. Springer, 2012.

Christoph Lange, Oliver Kutz, Till Mossakowski and Michael Grüninger.

[doi] [abstract] [BibTeX]

**Qualitative Reasoning about Relative Direction of Oriented Points**.

*Artificial Intelligence Journal*, 180–181:34–45, 2012.

Till Mossakowski and Reinhard Moratz.

[doi] [abstract] [BibTeX]

**Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010**.

Lecture Notes in Computer Science. volume 7137. Springer, 2012.

Till Mossakowski and Hans-Jörg Kreowski.

[doi] [BibTeX]

**Three Semantics for the Core of the Distributed Ontology Language**.

In: M. Donnelly and G. Guizzardi, editors,

*FOIS 2012: 7th International Conference on Formal Ontology in Information Systems*, pages 337-352. IOS Press; Amsterdam; http://www.iospress.nl, 2012. Best paper award

Till Mossakowski, Christoph Lange and Oliver Kutz.

[doi] [abstract] [BibTeX]

**Common Logic and the Horatio problem**.

*Applied Ontology*, 7(2):211-231, 2012.

Fabian Neuhaus and Pat Hayes.

[doi] [BibTeX]

**Compositional modelling and reasoning in an institution for processes and data**.

In: T. Mossakowski and H.-Jö. Kreowski, editors,

*WADT 2010*, volume 7137, series Lecture Notes in Computer Science, pages 251-269. Springer, 2012.

Liam O'Reilly, Till Mossakowski and Markus Roggenbach.

[abstract] [BibTeX]

**A strategy for building neuroanatomy ontologies**.

*Bioinformatics*, 28(9):1262-1269, 2012.

David Osumi-Sutherland, Simon Reeve, Christopher J. Mungall, Fabian Neuhaus, Alan Ruttenberg, Gregory S. X. E. Jefferis and J. Douglas Armstrong.

[doi] [abstract] [BibTeX]

**Intuitive and Natural Interfaces for Geospatial Data Classification**.

In:

*Place-related Knowledge Acquisition Research (P-KAR) workshop at Spatial Cognition 2012*. 2012.

Falko Schmid, Oliver Kutz, Lutz Frommberger, Till Mossakowski, Tomi Kauppinen and Cunyuan Cai.

[BibTeX]

**NIST Workshop on Ontology Evaluation. NIST Interagency/Internal Report (NISTIR) - 7774.**.

2012.

Ram Sriram, Conrad Bock, Fabian Neuhaus, Evan Wallace, Mary Brady, Mark Musen and Joanne Luciano.

[doi] [BibTeX]

### 2011

**DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap**.

In: C. Claramunt, S. Levashkin and M. Bertolotto, editors,

*Fourth International Conference on GeoSpatial Semantics*, volume 6631, series Lecture Notes in Computer Science, pages 88–107. Springer, 2011.

Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski and Rafaela Rau.

[doi] [abstract] [BibTeX]

**OSMonto - An Ontology of OpenStreetMap Tags**.

In:

*State of the map Europe (SOTM-EU) 2011*. 2011.

Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski and Rafaela Rau.

[abstract] [BibTeX]

**Project Abstract: Logic Atlas and Integrator (LATIN)**.

In: J. H. Davenport, W. M. Farmer, J. Urban and F. Rabe, editors,

*Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings*, volume 6824, series Lecture Notes in Computer Science, pages 289-291. Springer-Verlag Berlin Heidelberg, 2011.

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski and Florian Rabe.

[doi] [BibTeX]

**Refinement trees: calculi, tools and applications**.

In: B. K. Andrea Corradini, editor,

*Algebra and Coalgebra in Computer Science, CALCO'11*, volume 6859, series Lecture Notes in Computer Science, pages 145-160. Springer, 2011.

Mihai Codescu and Till Mossakowski.

[doi] [abstract] [BibTeX]

**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.

Janna Hastings, Oliver Kutz and Till Mossakowski.

[doi] [abstract] [BibTeX]

**A Modular Consistency Proof for Dolce**.

In: W. Burgard and D. Roth, editors,

*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.

Oliver Kutz and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Hyperontology for the Biomedical Ontologist - A Sketch and Some Examples**.

In:

*Workshop on Working with Multiple Biomedical Ontologies (at ICBO 2011)*. 2011.

Oliver Kutz, Till Mossakowski, Janna Hastings, Alexander Garcia Castro and Aleksandra Sojic.

[doi] [abstract] [BibTeX]

**The Onto-Logical Translation Graph**.

In: O. Kutz and T. Schneider, editors,

*Modular Ontologies Proceedings of the Fifth International Workshop (WoMO 2011)*, volume 230, series Frontiers in Artificial Intelligence and Applications, pages 94-109. IOS Press, 2011.

Oliver Kutz and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Towards a Standard for Heterogeneous Ontology Integration and Interoperability**.

In: K.-S. C. et al, editor,

*Proceedings of the First International Conference on terminology, languages and content resources (LarC 2011)*, pages 97-106. Seoul: KATS e.a, 2011.

Oliver Kutz, Till Mossakowski, Christian Galinski and Christoph Lange.

[abstract] [BibTeX]

**Streets to the OPRA - Finding your destination with imprecise knowledge**.

In: J. Renz, A. G. Cohn and S. Wölfl, editors,

*IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning*, pages 25-32. 2011.

Dominik Lücke, Till Mossakowski and Reinhard Moratz.

[doi] [abstract] [BibTeX]

**A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments**.

*Artificial Intelligence Journal*, 175:2099-2127, 2011.

Reinhard Moratz, Dominik Lücke and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Ontologie-basierte Routenplanung für eine aktivitätsorientierte Elektromobilität mit OpenStreetMap**.

In:

*Magdeburger Logistiktagung*. 2011.

Till Mossakowski, Mihai Codescu and Oliver Kutz.

[BibTeX]

**Creating the ontologists of the future**.

*Applied Ontology*, 6(1):91-98, 2011.

Fabian Neuhaus, Elizabeth Florescu, Antony Galton, Michael Gruninger, Nicola Guarino, Leo Obrst, Arturo Sanchez, Amanda Vizedom, Peter Yim and Barry Smith.

[BibTeX]

**Speech Acts and Tokens for Access Control and Provenance Tracking**.

In:

*Proceedings of the Sixth International Conference on Semantic Technologies for Intelligence, Defense, and Security, Fairfax, VA, USA, November 16-17, 2011*, pages 44-51. 2011.

Fabian Neuhaus and Bill Andersen.

[doi] [BibTeX]

### 2010

**Change Management for Heterogeneous Development Graphs**.

In: S. Siegler and N. Wasser, editors,

*Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther*, pages 54-80. Springer, 2010.

Serge Autexier, Dieter Hutter and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Creating a HasCASL library**.

In: J. Aldrich and R. Massa, editors,

*14th Brazilian Symposium on Programming Languages (SBLP 2010)*. 2010.

Glauber Cabral, Christian Maeder, Till Mossakowski and Lutz Schröder.

[abstract] [BibTeX]

**Integrating Maude into Hets**.

In: M. Johnson and D. Pavlovic, editors,

*AMAST 2010*, volume 6486, series Lecture Notes in Computer Science, pages 60-75. Springer, 2010.

Mihai Codescu, Till Mossakowski, Adrían Riesco and Christian Maeder.

[doi] [abstract] [BibTeX]

**Towards Ontological Blending**.

In: D. Dicheva and D. Dochev, editors,

*Artificial Intelligence: Methodology, Systems, and Applications, 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10. 2010. Proceedings*, volume 6304, series Lecture Notes in Computer Science, pages 263-264. Springer, 2010.

Joana Hois, Oliver Kutz, Till Mossakowski and John A. Bateman.

[doi] [abstract] [BibTeX]

**Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design**.

*Logica Univeralis*, 4(2):255-333, 2010.

Oliver Kutz, Till Mossakowski and Dominik Lücke.

[doi] [abstract] [BibTeX]

**Chinese Whispers and Connected Alignments**.

In: P. S. et al., editor,

*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.*, volume 689, series CEUR-WS online proceedings, pages 25-36. 2010.

Oliver Kutz, Immanuel Normann, Till Mossakowski and Dirk Walther.

[doi] [abstract] [BibTeX]

**A much better polynomial time approximation of consistency in the LR calculus**.

In: A. Gomez-Perez and T. Agotnes, editors,

*Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010)*, volume 222, series Frontiers in Artificial Intelligence and Applications, pages 175-185. IOS Press; Amsterdam; http://www.iospress.nl, 2010.

Dominik Lücke and Till Mossakowski.

[doi] [abstract] [BibTeX]

**A Generic Complete Dynamic Logic for Reasoning about Purity and Effects**.

*Formal Aspects of Computing*, 22(3-4):363-384, 2010.

Till Mossakowski, Lutz Schröder and Sergey Goncharov.

[doi] [abstract] [BibTeX]

**Preface**.

*Logical Methods in Computer Science*, 2010. SPECIAL ISSUE: Selected Papers of the Conference "Algebraic and Coalgebraic Methods in Computer Science 2007" Bergen, Norway, 2007

Till Mossakowski and Ugo Montanari.

[doi] [BibTeX]

**Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity**.

*CoRR. abs/0912.5533*, 2010.

Till Mossakowski and Reinhard Moratz.

[doi] [abstract] [BibTeX]

**The Semantics of Modules in Common Logic**.

In: S. B., M. R. and N. S., editors,

*nterdisciplinary Ontology Vol. 3 (Proceedings of the Third Interdisciplinary Ontology Meeting). February 27th-28th, 2010, Tokyo*, volume 3, pages 107-117. 2010.

Fabian Neuhaus.

[BibTeX]

### 2009

**The VSE Refinement Method in HETS**.

In: K. Breitman and A. Cavalcanti, editors,

*ICFEM 2009*, volume 5885, series Lecture Notes in Computer Science, pages 660-678. Springer, 2009.

Mihai Codescu, Bruno Langenstein, Christian Maeder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Use of Semantic Mediation in Manufacturing Supply Chains**.

In: Y. Kalfoglou, editor,

*Cases on Semantic Interoperability for Information Systems Integration: Practices and Applications: Practices and Applications*, pages 43-63. IGI Global, 2009.

Peter Denno, Edward J Barkmeyer and Fabian Neuhaus.

[BibTeX]

**Kleene Monads: Handling Iteration in a Framework of Generic Effects**.

In: A. Kurz and A. Tarlecki, editors,

*Algebra and Coalgebra in Computer Science (CALCO 2009)*, volume 5728, series Lecture Notes in Computer Science, pages 18-33. Springer, 2009.

Sergey Goncharov, Lutz Schröder and Till Mossakowski.

[BibTeX]

**Specification, Transformation, Navigation - Festschrift Sedicated to Bernd Krieg-Brückner on the Ooccasion of his 60th Birthday**.

DFKI Bremen, Sichere Kognitive Systeme, 2009.

Berthold Hoffmann, Christoph Lüth, Till Mossakowski, Markus Roggenbach and Lutz Schröder.

[BibTeX]

**Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects**.

*CoRR*, abs/0912.5533, 2009. abs/0912.5533

Reinhard Moratz, Dominik Lücke and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Heterogeneous Logical Environments for Distributed Specifications**.

In: A. Corradini and U. Montanari, editors,

*WADT 2008*, volume 5486, series Lecture Notes in Computer Science, pages 266–289. Springer, 2009.

Till Mossakowski and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

**On Teaching Logic and Algebraic Specification**.

In: F. Drewes, A. Habel, B. Hoffmann and D. Plump, editors,

*Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday*, pages 269-286. 2009.

Till Mossakowski.

[doi] [BibTeX]

**What is a logic translation?**.

*Logica Universalis*, 3(1):95-124, 2009. Winner of the universal logic 2007 contest.

Till Mossakowski, Andrzej Tarlecki and Razvan Diaconescu.

[doi] [abstract] [BibTeX]

**An ontological approach to information access control and provenance**.

In: P. Costa, K. Laskey and L. Obrst, editors,

*OIC-2009 Ontologies for the Intelligence Community*, series CEUR Vol-555. 2009.

Fabian Neuhaus and Bill Andersen.

[doi] [BibTeX]

**Ontology-based technologies-Technology transfer from bioinformatics**.

In: K. B. Laskey and D. Wijesekera, editors,

*Ontology for the Intelligence Community (OIC-2008)-Towards Effective Exploitation and Integration of Intelligence Resources*, series CEUR Vol-440. CEUR, 2009.

Fabian Neuhaus.

[doi] [BibTeX]

**The Bigger Picture—Speech Acts in Interaction with Ontology-based Information Systems**.

In:

*Interdisciplinary Ontology - Proceedings of the Second Interdisciplinary Ontology Meeting (InterOntology 2009)*, volume 2, pages 45-56. 2009.

Fabian Neuhaus and Bill Andersen.

[BibTeX]

**HasCASL: Integrated Higher-Order Specification and Program Development**.

*Theoretical Computer Science*, 410(12-13):1217-1260, 2009.

Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

### 2008

**Modeling Principles and Methodologies - Spatial Representation and Reasoning**.

2008.

Thomas Bittner, Maureen Donnelly, Louis J Goldberg and Fabian Neuhaus.

[doi] [BibTeX]

**Heterogeneous colimits**.

In: F. Boulanger, C. Gaston and P.-Y. Schobbens, editors,

*MoVaH'08 Workshop on Modeling, Validation and Heterogeneity*. IEEE press, 2008.

Mihai Codescu and Till Mossakowski.

[doi] [abstract] [BibTeX]

**CARO-the common anatomy reference ontology**.

In:

*Anatomy Ontologies for Bioinformatics*, pages 327-349. Springer London, 2008.

Melissa A Haendel, Fabian Neuhaus, David Osumi-Sutherland, Paula M Mabee, Jos LV Mejino Jr, Chris J Mungall and Barry Smith.

[BibTeX]

**Conservativity in Structured Ontologies**.

In: M. Ghallab, C. Spyropoulos, N. Fakotakis and N. Avouris, editors,

*ECAI 2008*, volume 178, series Frontiers in Artificial Intelligence and Applications. IOS Press, 2008.

Oliver Kutz and Till Mossakowski.

[abstract] [BibTeX]

**Heterogeneously Structured Ontologies: Integration, Connection, and Refinement**.

In:

*Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia*. 2008.

Oliver Kutz, Dominik Lücke and Till Mossakowski.

[doi] [abstract] [BibTeX]

**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.

Oliver Kutz, Dominik Lücke and Till Mossakowski.

[doi] [BibTeX]

**Shapes of Alignments - Construction, Combination, and Computation**.

In: U. Sattler and A. Tamilin, editors,

*International Workshop on Ontologies: Reasoning and Modularity (WORM-08)*, volume 348, series CEUR-WS online proceedings. 2008.

Oliver Kutz, Till Mossakowski and Mihai Codescu.

[doi] [abstract] [BibTeX]

**The OWL in the CASL - Designing Ontologies Across Logics**.

In: C. Dolbear, A. Ruttenberg and U. Sattler, editors,

*OWL: Experiences and Directions, 5th International Workshop (OWLED-08)*. CEUR-WS, 2008.

Oliver Kutz, Dominik Lücke, Till Mossakowski and Immanueal Normann.

[doi] [BibTeX]

**Qualitative reasoning about convex relations**.

In: C. Freksa, N. S. Newcombe and P. Gaerdenfors, editors,

*Spatial Cognition VI 2008*, volume 5248, series Lecture Notes in Computer Science, pages 426-440. Springer, 2008.

Dominik Lücke, Till Mossakowski and Diedrich Wolter.

[doi] [abstract] [BibTeX]

**A generic complete dynamic logic for reasoning about purity and effects**.

In: J. Fiadeiro and P. Inverardi, editors,

*Fundamental Approaches to Software Engineering (FASE 2008)*, volume 4961, series Lecture Notes in Computer Science, pages 199-214. Springer, 2008.

Till Mossakowski, Lutz Schröder and Sergey Goncharov.

[doi] [abstract] [BibTeX]

**CASL, the Common Algebraic Specification Language**.

In: M. H. D. Bjorner, editor,

*Logics of formal specification languages*, chapter 3, pages 241-298. Springer-Verlag Heidelberg, 2008.

Till Mossakowski, Anne Haxthausen, Don Sannella and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

**Modelling Principles and Methodologies - Relations in Anatomical Ontologies**.

2008.

Fabian Neuhaus and Barry Smith.

[doi] [BibTeX]

**OntologySummit2008 Communiqué: Towards an Open Ontology Repository**.

2008.

Leo Obrst, Mark Musen, Barry Smith, Fabian Neuhaus, Frank Olken, Michael Gruninger, Michelle Raymond, Pat Hayes and Ravi Sharma.

[doi] [BibTeX]

**Towards an Open Ontology Repository**.

2008.

Leo Obrst, Mark Musen, Barry Smith, Fabian Neuhaus, Frank Olken, Michael Gruninger, Michelle Raymond, Pat Hayes and Ravi Sharma.

[doi] [BibTeX]

### 2007

**Ontological Modularity and Spatial Diversity**.

*Spatial Cognition and Computation*, 7(1):97-128, 2007.

John Bateman, Stefano Borgo, Klaus Lüttich, Claudio Masolo and Till Mossakowski.

[doi] [abstract] [BibTeX]

**An Institutional View on Categorical Logic**.

In:

*Int J Software Informatics*, volume 1, pages 129-152. 2007.

Joseph Goguen, Till Mossakowski, Valeria De Paiva, Florian Rabe and Lutz Schröder.

[abstract] [BibTeX]

**Modules in Transition - Conservativity, Composition, and Colimits**.

In: A. Schlicht, editor,

*Second International Workshop on Modular Ontologies*. 2007.

Oliver Kutz and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Reasoning Support for CASL with Automated Theorem Proving Systems**.

In: J. Fiadeiro, editor,

*WADT 2006*, volume 4409, pages 74-91. Springer-Verlag Heidelberg, 2007.

Klaus Lüttich and Till Mossakowski.

[abstract] [BibTeX]

**Structured CSP - A Process Algebra as an Institution**.

In: J. Fiadeiro, editor,

*WADT 2006*, volume 4409, series Lecture Notes in Computer Science, pages 92-110. Springer-Verlag Heidelberg, 2007.

Till Mossakowski and Markus Roggenbach.

[abstract] [BibTeX]

**The Heterogeneous Tool Set**.

In: B. Beckert, editor,

*VERIFY 2007, 4th International Verification Workshop*, pages 119-135. 2007.

Till Mossakowski, Christian Maeder and Klaus Lüttich.

[doi] [abstract] [BibTeX]

**The Heterogeneous Tool Set, Hets.**.

In: O. Grumberg and M. Huth, editors,

*TACAS*, volume 4424, series Lecture Notes in Computer Science, pages 519-522. Springer, 2007.

Till Mossakowski, Christian Maeder and Klaus Lüttich.

[doi] [BibTeX]

**What is a Logic? (revised version)**.

In: J.-Y. Beziau, editor,

*Logica Universalis*, pages 111-133. Birkhäuser, 2007.

Till Mossakowski, Joseph Goguen, Razvan Diaconescu and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

**On being perfect**.

In: S. Walter and H. Bohse, editors,

*GAP.6: Selected Papers Contributed to the Sections of the Sixth International Congress of the German Society for Analytic Philosophy*, volume 6, pages 665-679. Mentis Verlag, Paderborn, 2007.

Fabian Neuhaus.

[BibTeX]

**Coalgebraic Modal Logic in CoCASL**.

In: J. L. Fiadeiro, editor,

*Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006*, volume 4409, series Lecture Notes in Computer Science, pages 128-142. Springer, 2007.

Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Translating Haskell to Isabelle**.

In: K. Schneider and J. Brandt, editors,

*Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings*, pages 178–193. Uni Kaiserslautern, 2007.

Paolo Torrini, Christpoh Lüth, Christian Maeder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables**.

In: D. Wilson and G. Sutcliffe, editors,

*20th International FLAIRS Conference (FLAIRS-20)*, pages 665-670. AAAI Press, 2007.

Stefan Wölfl, Till Mossakowski and Lutz Schröder.

[abstract] [BibTeX]

### 2006

**Maya: Maintaining Structured Developments**.

In: M. Kohlhase, editor,

*OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]*, pages 281-285. Springer, 2006.

Serge Autexier, Dieter Hutter, Till Mossakowski and Axel Schairer.

[doi] [BibTeX]

**Completeness of Global Evaluation Logic**.

In: R. Kralovic and P. Urzyczyn, editors,

*Mathematical Foundations of Computer Science*, volume 4162, series Lecture Notes in Computer Science, pages 447-458. Springer; Berlin; http://www.springer.de, 2006.

Sergey Goncharov, Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**A Coalgebraic Approach to the Semantics of the Ambient Calculus**.

*Theoretical Computer Science*, 366(1-2):121-143, 2006. Extends (Hausmann et al. 2005)

Daniel Hausmann, Till Mossakowski and Lutz Schröder.

[doi] [abstract] [BibTeX]

**Development Graphs - Proof Management for Structured Specifications**.

*Journal of Logic and Algebraic Programming*, 67(1-2):114-145, 2006.

T. Mossakowski, S. Autexier and D. Hutter.

[doi] [abstract] [BibTeX]

**A Categorical Perspective on Qualitative Constraint Calculi**.

In: S. Wölfl and T. Mossakowski, editors,

*Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006*, pages 28-39. 2006.

Till Mossakowski, Lutz Schröder and Stefan Wölfl.

[abstract] [BibTeX]

**Algebraic-co-algebraic specification in CoCASL**.

*Journal of Logic and Algebraic Programming*, 67(1-2):146-197, 2006. Extends (Mossakowski et al. 2003)

Till Mossakowski, Lutz Schröder, Markus Roggenbach and Horst Reichel.

[doi] [abstract] [BibTeX]

**Hets User Guide**.

Department of Computer Science; Universität Bremen; http://www.informatik.uni-bremen.de/, 2006.

Till Mossakowski, Christian Maeder and Klaus Lüttich.

[abstract] [BibTeX]

**Hets: The Heterogeneous Tool Set**.

In: M. Kohlhase, editor,

*Maya: Maintaining Structured Developments*, pages 286-289. Springer, 2006.

Till Mossakowski, Christian Maeder and Klaus Lüttich.

[doi] [BibTeX]

**Institutional 2-cells and Grothendieck institutions**.

In: K. Futatsugi, J.-P. Jouannaud and J. Meseguer, editors,

*Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday*, volume 4060, series Lecture Notes in Computer Science, pages 124-149. Springer; Berlin; http://www.springer.de, 2006.

Till Mossakowski.

[doi] [abstract] [BibTeX]

**Monad-Based Logics for Computational Effects**.

In: M. Johnson and V. Vene, editors,

*AMAST 2006*, volume 4019, series Lecture Notes in Computer Science, pages 3-4. Springer; Berlin; http://www.springer.de, 2006.

Till Mossakowski.

[abstract] [BibTeX]

### 2005

**Iterative Circular Coinduction for CoCASL in Isabelle/HOL**.

In: M. Cerioli, editor,

*Fundamental Approaches to Software Engineering 2005*, volume 3442, series Lecture Notes in Computer Science, pages 341-356. Springer; Berlin; http://www.springer.de, 2005.

Daniel Hausmann, Till Mossakowski and Lutz Schröder.

[doi] [abstract] [BibTeX]

**Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus**.

In: J. Fiadeiro, N. Harman, M. Roggenbach and J. Rutten, editors,

*Algebra and Coalgebra in Computer Science*, volume 3629, series Lecture Notes in Computer Science, pages 232-246. Springer; Berlin, 2005.

Daniel Hausmann, Till Mossakowski and Lutz Schröder.

[doi] [abstract] [BibTeX]

**High-Level Nets with Nets and Rules as Tokens**.

In:

*26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency*, pages 268-288. Springer Verlag, London, 2005.

Kathrin Hoffmann, Hartmut Ehrig and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Higher-order nets for mobile policies**.

In:

*Workshop on Petri Nets and Graph Transformations*, volume 127, series Electronic Notes in Theoretical Computer Science, pages 87-105. Elsevier Science; http://www.elsevier.nl/, 2005.

Kathrin Hoffmann, Francesco Parisi-Presicce and Till Mossakowski.

[BibTeX]

**Specification of an Ontology for Route Graphs**.

In: C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel and T. Barkowsky, editors,

*Spatial Cognition IV*, pages 390-412. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, 2005.

B. Krieg-Brückner, U. Frese, K. Lüttich, C. Mandel, T. Mossakowski and R. Ross.

[doi] [BibTeX]

**Ontologies for the Semantic Web in CASL**.

In: J. L. Fiadeiro, P. Mosses and F. Orejas, editors,

*Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004)*, volume 3423, series Lecture Notes in Computer Science, pages 106-125. Springer; Berlin; http://www.springer.de, 2005.

K. Lüttich, T. Mossakowski and B. Krieg-Brückner.

[doi] [abstract] [BibTeX]

**A simple refinement language for CASL**.

In: J. L. Fiadeiro, editor,

*WADT 2004*, pages 162-185. Springer; Berlin; http://www.springer.de, 2005.

T. Mossakowski, D. Sannella and A. Tarlecki.

[doi] [abstract] [BibTeX]

**Heterogeneous specification and the heterogeneous tool set**.

Universitaet Bremen, 2005. Habilitation thesis.

Till Mossakowski.

[BibTeX]

**Heterogeneous Theories and the Heterogeneous Tool Set**.

In: Y. Kalfoglou, M. Schorlemmer, A. Sheth, S. Staab and M. Uschold, editors,

*Semantic Interoperability and Integration*, series Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germ, 2005.

Till Mossakowski.

[doi] [BibTeX]

**What is a Logic?**.

In: J.-Y. Beziau, editor,

*Logica Universalis*, pages 113-133. Birkhäuser, 2005.

Till Mossakowski, Joseph Goguen, Razvan Diaconescu and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

**Amalgamation in the semantics of CASL**.

*Theoretical Computer Science*, 331(1):215-247, 2005.

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman and Bartek Klin.

[doi] [abstract] [BibTeX]

**Type class polymorphism in an institutional framework**.

In: J. Fiadeiro, editor,

*Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004)*, volume 3423, series Lecture Notes in Computer Science, pages 234-248. Springer; Berlin; http://www.springer.de, 2005.

Lutz Schröder, Till Mossakowski and Christoph Lüth.

[doi] [abstract] [BibTeX]

**Relations in biomedical ontologies**.

*Genome biology*, 6(5):1, 2005.

Barry Smith, Werner Ceusters, Bert Klagges, Jacob Köhler, Anand Kumar, Jane Lomax, Chris Mungall, Fabian Neuhaus, Alan L Rector and Cornelius Rosse.

[BibTeX]

**Parametrized Exceptions**.

In: J. Fiadeiro and J. Rutten, editors,

*Algebra and Coalgebra in Computer Science*, volume 3629, series Lecture Notes in Computer Science, pages 424-438. Springer; Berlin; http://www.springer.de, 2005.

Dennis Walter, Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**CASL Specifications of Qualitative Calculi**.

In: A. G. Cohn and D. M. Mark, editors,

*Conference on Spatial Information Theory*, volume 3693, series Lecture Notes in Computer Science, pages 200-217. Springer; Berlin, 2005.

Stefan Wölfl and Till Mossakowski.

[doi] [abstract] [BibTeX]

### 2004

**CASL Semantics**.

In: P. D. Mosses, editor,

*CASL Reference Manual*, chapter ÏII. Springer Verlag, London, 2004. Ëdited by D. Sannella and A. Tarlecki

Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter D. Mosses, Donald Sannella and Andrzej Tarlecki.

[doi] [BibTeX]

**First-Order Logic Revisited**.

Logische Philosophie. Logos Verlag, 2004.

Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler and Heinrich Wansing.

[doi] [BibTeX]

**Introduction**.

2004.

Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler and Heinrich Wansing.

[doi] [BibTeX]

**Introduction to "First-order Logic Revisited"**.

2004.

Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler and Heinrich Wansing.

[doi] [BibTeX]

**Specification of Ontologies in CASL**.

In: A. C. Varzi and L. Vieu, editors,

*Formal Ontology in Information Systems - Proceedings of the Third International Conference (FOIS-2004)*, volume 114, series Frontiers in Artificial Intelligence and Applications, pages 140-150. IOS Press; Amsterdam; http://www.iospress.nl, 2004.

K. Lüttich and T. Mossakowski.

[abstract] [BibTeX]

**Tramway Networks as Route Graphs**.

In: E. Schnieder and G. Tarnai, editors,

*FORMS/FORMAT 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems*, pages 109-119. 2004.

K. Lüttich, B. Krieg-Brückner and T. Mossakowski.

[abstract] [BibTeX]

**CASL Basic Libraries**.

In: M. Bidoit and P. D. Mosses, editors,

*CASL User Manual*, pages 143-154. Springer Verlag, London, 2004.

T. Mossakowski.

[doi] [BibTeX]

**CASL Sublanguages and extensions**.

In: P. D. Mosses, editor,

*CASL Reference Manual*, chapter I:7, pages 61-69. Springer Verlag, London, 2004.

T. Mossakowski.

[BibTeX]

**CASL Tools**.

In: M. Bidoit and P. D. Mosses, editors,

*CASL User Manual*, pages 131-142. Springer Verlag, London, 2004.

T. Mossakowski.

[doi] [BibTeX]

**ModalCASL - Specification with Multi-Modal Logics. Language Summary**.

2004.

T. Mossakowski.

[abstract] [BibTeX]

**CASL Logic**.

In: P. D. Mosses, editor,

*CASL Reference Manual*, chapter ÏV. Springer Verlag, London, 2004. Ëdited by T. Mossakowski

Till Mossakowski, Piotr Hoffman, Serge Autexier and Dieter Hutter.

[doi] [BibTeX]

**A formal theory of substances, qualities, and universals**.

In:

*Formal Ontology in Information Systems: Proceedings of the Third International Conference (FOIS-2004)*. 2004.

Fabian Neuhaus, Pierre Grenon and Barry Smith.

[BibTeX]

**Ableitbarkeit und Folgebeziehung**.

In: B. Christiansen and U. Scheffler, editors,

*Was folgt. Themen zu Wessel*, series Logische Philosophie, pages 57-67. Logos Verlag, 2004.

Fabian Neuhaus.

[BibTeX]

**Libraries**.

In: P. Mosses, editor,

*CASL reference manual*. Springer; Berlin; http://www.springer.de, 2004. Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html

Markus Roggenbach, Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Generic exception handling and the Java monad**.

In: C. Rattray, S. Maharaj and C. Shankland, editors,

*Algebraic Methodology and Software Technology*, volume 3116, series Lecture Notes in Computer Science, pages 443-459. Springer; Berlin; http://www.springer.de, 2004.

Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Monad-independent dynamic logic in HasCASL**.

*Journal of Logic and Computation*, 14(4):571-619, 2004. Earlier version appeared in Martin Wirsing, Dirk Pattinson, and Rolf Hennicker (eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS vol. 2755, Springer, Berlin, 2003, pp. 425-441

Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

### 2003

**Algebraic Higher Order Nets: Graphs and Petri Nets as Tokens**.

In: M. Wirsing, D. Pattinson and R. Hennicker, editors,

*Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers*, volume 2755, series Lecture Notes in Computer Science, pages 253-267. Springer Verlag, London, 2003.

Kathrin Hoffmann and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Foundations of heterogeneous specification**.

In: M. Wirsing, D. Pattinson and R. Hennicker, editors,

*Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers*, series Lecture Notes in Computer Science, pages 359-375. Springer Verlag, London, 2003.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**A temporal-logic extension of role-based access control covering dynamic separation of duties**.

In:

*Proceedings of the 4th International Conference on Temporal Logic,*, pages 83-90. IEEE Computer Society Press, 2003.

Till Mossakowski, Michael Drouineaud and Karsten Sohr.

[abstract] [BibTeX]

**Algebraic-co-algebraic specification in CoCASL**.

In: M. Wirsing, D. Pattinson and R. Hennicker, editors,

*Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02*, volume 2755, series Lecture Notes in Computer Science, pages 376-392. Springer; Berlin; http://www.springer.de, 2003.

Till Mossakowski, Horst Reichel, Markus Roggenbach and Lutz Schröder.

[doi] [abstract] [BibTeX]

**CASL, the Common Algebraic Specification Language: Semantics and Proof Theory**.

*Computing and Informatics*, 22:285-321, 2003.

Till Mossakowski, Anne Haxthausen, Donald Sannella and Andrzej Tarlecki.

[abstract] [BibTeX]

**CoCASL at work -- Modelling Process Algebra**.

In: H.-P. Gumm, editor,

*Coalgebraic Methods in Computer Science*, volume 82, series Electronic Notes in Theoretical Computer Science. Elsevier Science; http://www.elsevier.nl/, 2003.

Till Mossakowski, Markus Roggenbach and Lutz Schröder.

[abstract] [BibTeX]

**Tautologien und Trivialitäten? Logische Methoden in der Philosophie**.

*Zeitschrift für philosophische Forschung*(H. 3):412-430, 2003.

Fabian Neuhaus, Uwe Scheffler and Yaroslav Shramko.

[BibTeX]

**HasCASL - Integrated functional specification and programming. Language summary.**.

2003.

L. Schröder, T. Mossakowski and C. Maeder.

[abstract] [BibTeX]

**Monad-independent Hoare logic in HasCASL**.

In: M. Pezze, editor,

*Fundamental Approaches to Software Engineering (FASE 2003)*, volume 2621, series Lecture Notes in Computer Science, pages 261-277. Springer; Berlin; http://www.springer.de, 2003.

Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

### 2002

**Integrating HOLCASL into the Development Graph Manager MAYA**.

In: A. Armando, editor,

*Frontiers of Combining Systems, 4th International Workshop*, volume 2309, series Lecture Notes in Computer Science, pages 2-17. Springer Verlag, London, 2002.

S. Autexier and T. Mossakowski.

[doi] [abstract] [BibTeX]

**The Development Graph Manager MAYA (System description)**.

In: H. Kirchner and C. Reingeissen, editors,

*Algebraic Methodology and Software Technology, 2002*, volume 2422, series Lecture Notes in Computer Science, pages 495-502. Springer Verlag, London, 2002.

S. Autexier, D. Hutter, T. Mossakowski and A. Schairer.

[doi] [abstract] [BibTeX]

**Comorphism-based Grothendieck logics**.

In: K. Diks and W. Rytter, editors,

*Mathematical foundations of computer science*, volume 2420, series Lecture Notes in Computer Science, pages 593-604. Springer Verlag, London, 2002.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**Heterogeneous development graphs and heterogeneous borrowing**.

In: M. Nielsen and U. Engberg, editors,

*Foundations of Software Science and Computation Structures*, pages 326-341. Springer-Verlag, 2002.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**Institution Independent Static Analysis for CASL**.

In: M. Cerioli and G. Reggio, editors,

*Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01, Genova, Italy*, volume 2267, series Lecture Notes in Computer Science, pages 221-237. Springer Verlag, London, 2002.

T. Mossakowski and B. Klin.

[doi] [abstract] [BibTeX]

**Relating CASL with Other Specification Languages: the Institution Level**.

*Theoretical Computer Science*, 286:367-475, 2002.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**Methodological guidelines (for CASL)**.

2002. CoFI note M-6.

Markus Roggenbach and Till Mossakowski.

[doi] [abstract] [BibTeX]

**HasCASL: towards integrated specification and development of functional programs**.

In: Hé. Kirchner and C. Ringeissen, editors,

*Algebraic Methodology And Software Technology (AMAST 2002)*, volume 2422, series Lecture Notes in Computer Science, pages 99-116. Springer; Berlin; http://www.springer.de, 2002.

Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

### 2001

**Checking amalgamability conditions for CASL architectural specifications**.

In: J. Sgall, A. Pultr and P. Kolman, editors,

*Mathematical Foundations of Computer Science*, volume 2136, series Lecture Notes in Computer Science, pages 512-523. Springer; Berlin; http://www.springer.de, 2001.

Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder and Till Mossakowski.

[doi] [BibTeX]

**Extending Development Graphs With Hiding**.

In: H. Hußmann, editor,

*Fundamental Approaches to Software Engineering*, volume 2029, series Lecture Notes in Computer Science, pages 269-283. Springer Verlag, London, 2001.

T. Mossakowski, S. Autexier and D. Hutter.

[doi] [abstract] [BibTeX]

**Alter Wein frisch abgefüllt -- Explikation und Expansion von Analytizität**.

In: V. Gerhardt, R.-P. Horstmann and R. Schumacher, editors,

*Kant und die Berliner Aufklärung - Akten des IX. Internationalen Kantkongresses*, pages 45-54. 2001.

Fabian Neuhaus and Uwe Scheffler.

[BibTeX]

**Alter Wein frisch abgefüllt — Explikation und Expansion von Analytizität**.

In: V. Gerhardt, R.-P. Horstmann and R. Schumacher, editors,

*Kant und die Berliner Aufklärung - Akten des IX. Internationalen Kantkongresses*, pages 45-54. 2001.

Fabian Neuhaus and Uwe Scheffler.

[BibTeX]

**Amalgamation via enriched CASL signatures**.

In: F. Orejas, P. Spirakis and J. van Leeuwen, editors,

*International Colloquium on Automata, Languages and Programming (ICALP 2001)*, volume 2076, series Lecture Notes in Computer Science, pages 993-1004. Springer; Berlin; http://www.springer.de, 2001.

Lutz Schröder, Till Mossakowski and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

**Semantics of Architectural Specifications in CASL**.

In: H. Hußmann, editor,

*Fundamental Approaches to Software Engineering*, volume 2029, series Lecture Notes in Computer Science, pages 253-268. Springer; Berlin; http://www.springer.de, 2001.

Lutz Schröder, Till Mossakowski, Piotr Hoffman, Bartek Klin and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

### 2000

**Specification in an arbitrary institution with symbols**.

In: C. Choppy, D. Bert and P. Mosses, editors,

*Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France*, pages 252-270. Springer Verlag, London, 2000.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**Subsorted Partial Higher-Order Logic as an Extension of CASL**.

In: C. Choppy, D. Bert and P. Mosses, editors,

*Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France*, pages 126-145. Springer Verlag, London, 2000.

T. Mossakowski, A. Haxthausen and B. Krieg-Brückner.

[doi] [abstract] [BibTeX]

**CASL: From Semantics to Tools**.

In: S. Graf and M. Schwartzbach, editors,

*TACAS 2000*, volume 1785, series Lecture Notes in Computer Science, pages 93-108. Springer Verlag, London, 2000.

Till Mossakowski.

[doi] [abstract] [BibTeX]

**How to write consistent CASL design specifications**.

2000. CoFI note M-8.

Till Mossakowski.

[doi] [abstract] [BibTeX]

**Specifying real numbers in CASL**.

In: C. Choppy and D. Bert, editors,

*Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99*, volume 1827, series Lecture Notes in Computer Science, pages 146-161. Springer; Berlin; http://www.springer.de, 2000.

Markus Roggenbach, Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Categorical Fibring of Logics with Terms and Binding Operators**.

In: D. Gabbay and M. d. Rijke, editors,

*Frontiers of Combining Systems 2*, pages 295-316. Research Studies Press, 2000.

A. Sernadas, C. Sernadas, C. Caleiro and T. Mossakowski.

[abstract] [BibTeX]

### 1999

**From total equational to partial first order logic**.

In: E. Astesiano, H.-J. Kreowski and B. Krieg-Brückner, editors,

*Algebraic Foundations of Systems Specifications*, pages 31-104. Springer Verlag, London, 1999.

M. Cerioli, T. Mossakowski and H. Reichel.

[abstract] [BibTeX]

**Translating OBJ3 to CASL: the institution level**.

In: J. L. Fiadeiro, editor,

*Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT'98, Lisbon, Portugal, April 1998, Selected Papers*, volume 1589, series Lecture Notes in Computer Science, pages 198-214. Springer Verlag, London, 1999.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**The datatypes REAL and COMPLEX in CASL**.

1999. CoFI note M-7.

Till Mossakowski and Markus Roggenbach.

[doi] [abstract] [BibTeX]

**Proposal of some annotations and literal syntax in CASL**.

1999. CoFI note L-11.

Markus Roggenbach and Till Mossakowski.

[doi] [abstract] [BibTeX]

### 1998

**Extending CASL with higher-order functions - design proposal**.

1998. CoFI note L-8.

Anne Haxthausen, Bernd Krieg-Brückner and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Subsorted partial higher-order logic as an extension of CASL**.

1998. CoFI note L-10.

Anne Haxthausen, Bernd Krieg-Brückner and Till Mossakowski..

[doi] [abstract] [BibTeX]

**Colimits of Order-Sorted Specifications**.

In: F. Parisi Presicce, editor,

*Recent trends in algebraic development techniques. Proc. 12th International Workshop*, volume 1376, series Lecture Notes in Computer Science, pages 316-332. Springer Verlag, London, 1998.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**Combining and Representing Logical Systems Using Model-Theoretic Parchments**.

In: F. Parisi Presicce, editor,

*Recent trends in algebraic development techniques. Proc. 12th International Workshop*, volume 1376, series Lecture Notes in Computer Science, pages 349-364. Springer Verlag, London, 1998.

T. Mossakowski, A. Tarlecki and W. Pawlowski.

[doi] [abstract] [BibTeX]

**Static Semantic Analysis and Theorem Proving for C<small><small>ASL</small></small>**.

In: F. Parisi-Pressice, editor,

*Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97*, series Lecture Notes in Computer Science, pages 333-348. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, 1998.

T. Mossakowski, Kolyang and B. Krieg-Brückner.

[BibTeX]

**Standard annotations for parsers and static semantic checkers - a proposal**.

1998. CoFI note T-6.

Till Mossakowski.

[doi] [abstract] [BibTeX]

**Two "functional programming" sublanguages of CASL**.

1998. CoFI note L-9.

Till Mossakowski.

[doi] [abstract] [BibTeX]

### 1997

**Permissive Subsorted Partial Logic in CASL**.

In: M. Johnson, editor,

*Algebraic methodology and software technology, 6th international conference, AMAST 97*, series Lecture Notes in Computer Science, pages 91–107. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, 1997.

M. Cerioli, A. Haxthausen, B. Krieg-Brückner and T. Mossakowski.

[doi] [BibTeX]

**Combining and Representing Logical Systems**.

In: E. Moggi and G. Rosolini, editors,

*Category Theory and Computer Science, 7th Int. Conf.*, volume 1290, series Lecture Notes in Computer Science, pages 177-196. Springer Verlag, London, 1997.

T. Mossakowski, A. Tarlecki and W. Pawlowski.

[doi] [abstract] [BibTeX]

### 1996

**Different Types of Arrow Between Logical Frameworks**.

In: F. M. auf der Heide and B. Monien, editors,

*Proc. ICALP 96*, volume 1099, series Lecture Notes in Computer Science, pages 158-169. Springer Verlag, London, 1996.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**Equivalences among various logical frameworks of partial algebras**.

In: H. K. Büning, editor,

*Computer Science Logic. 9th Workshop, CSL'95. Paderborn, Germany, September 1995, Selected Papers*, volume 1092, series Lecture Notes in Computer Science, pages 403-433. Springer Verlag, London, 1996.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**Representations, hierarchies and graphs of institutions**.

PhD thesis, Universität Bremen; www.uni-bremen.de, 1996. Also appeared as book in Logos Verlag

T. Mossakowski.

[abstract] [BibTeX]

**Using limits of parchments to systematically construct institutions of partial algebras**.

In: M. Haveraaen, O. Owe and O.-J. Dahl, editors,

*Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types*, volume 1130, series Lecture Notes in Computer Science, pages 379-393. Springer Verlag, London, 1996.

T. Mossakowski.

[doi] [abstract] [BibTeX]

### 1995

**Equivalence and Difference of Institutions: Simulating Horn Clause Logic With Based Algebras**.

*Mathematical Structures in Computer Science*, 5:189-215, 1995.

H.-J. Kreowski and T. Mossakowski.

[abstract] [BibTeX]

**A Hierarchy of Institutions separated by properties of parameterized abstract data types**.

In: E. Astesiano, G. Reggio and A. Tarlecki, editors,

*Recent Trends in Data Type Specification. Proceedings*, volume 906, series Lecture Notes in Computer Science, pages 389-405. Springer Verlag, London, 1995.

T. Mossakowski.

[doi] [abstract] [BibTeX]

### 1993

**Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods**.

In: M. Nivat, C. Rattray, T. Rus and G. Scollo, editors,

*Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, 1993*, series Workshops in Computing, pages 139-146. Springer-Verlag, London, 1993. Long version appears in Theoretical Computer Science

T. Mossakowski.

[abstract] [BibTeX]

### 1992

**Spezifizierbarkeit und Berechenbarkeit parametrischer partieller Datentypen**.

1992. Diploma thesis, Universität Bremen.

T. Mossakowski.

[BibTeX]

### 1991

**Some modifications of auxiliary pushdown automata**.

*RAIRO Informatique théorique et Applications*:545-556, 1991.

G. Buntrock, F. Drewes, C. Lautemann and T. Mossakowski.

[BibTeX]

**Algebra $cup$ Topology**.

In: H. Herrlich and H.-E. Porst, editors,

*Category Theory at Work*, volume 137--148. Heldermann Verlag; Berlin, 1991.

H. Herrlich, T. Mossakowski and G. E. Strecker.

[BibTeX]

### 1988

**Programmieren in Turbo-Prolog. Theorie und Praxis der logischen Programmierung**.

1988.

T. Mossakowski, J. W. Janneck and C. Holsten.

[BibTeX]

### 1987

**Die arithmetische Komplexität der Semantik und der SLD-Bäume von logischen Programmen**.

1987. Bundeswettbewerb "Jugend forscht", 1. Preis.

T. Mossakowski.

[BibTeX]

### 1986

**Symbolische Formelmanipulation. Implementation eines LISP-Interpreters, Überlegungen zur seiteneffektfreien Programmierung**.

1986. Bundeswettbewerb "Jugend forscht".

T. Mossakowski.

[BibTeX]