Publikationen

Seite 5 von 10.

Joana Hois; Oliver Kutz; Till Mossakowski; John A. Bateman
Towards Ontological Blending
In: Darina Dicheva; Danail Dochev (Hrsg.). 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10, 2010. Proceedings. …
Oliver Kutz; Till Mossakowski; Dominik Lücke
Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design
In: Jean-Yves Béziau (Hrsg.). Logica Universalis, Vol. 4, No. 2, Pages 255-333, Birkäuser, Basel, 2010.
Oliver Kutz; Immanuel Normann; Till Mossakowski; Dirk Walther
Chinese Whispers and Connected Alignments
In: Pavel Shvaiko et al. (Hrsg.). Proceedings of the 5th International Workshop on Ontology Matching. International Workshop on Ontology Matching …
Dominik Lücke; Till Mossakowski
A much better polynomial time approximation of consistency in the LR calculus
In: A. Gomez-Perez; T. Agotnes (Hrsg.). Proceedings of the 5th Starting AI Researcher Symposium. Starting AI Researcher Symposium (STAIRS-10), 5th, …
Till Mossakowski; Ugo Montanari
Preface
In: Till Mossakowski; Ugo Montanari (Hrsg.). Logical Methods in Computer Science (LMCS), Vol. SPECIAL ISSUE: Selected Papers of the Conference …
Sergey Goncharov; Lutz Schröder; Till Mossakowski
Kleene Monads: Handling Iteration in a Framework of Generic Effects
In: Alexander Kurz; Andrzej Tarlecki (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …
Lutz Schröder; Till Mossakowski
HasCASL: Integrated Higher-Order Specification and Program Development
In: Theoretical Computer Science, Vol. 410, No. 12-13, Pages 1217-1260, Elsevier, 2009.
Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski
The VSE Refinement Method in HETS
In: K. Breitman; A. Cavalcanti (Hrsg.). Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on …
Till Mossakowski
On Teaching Logic and Algebraic Specification
In: Frank Drewes; Annegret Habel; Berthold Hoffmann; Detlef Plump (Hrsg.). Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to …
Till Mossakowski; Razvan Diaconescu; Andrzej Tarlecki
What is a logic translation?
In: Logica Universalis, Vol. 3, No. 1, Pages 95-124, Birkhäuser, Basel, 2009.