Publikationen

Seite 4 von 10.

Janna Hastings; Oliver Kutz; Till Mossakowski
How to model the shapes of molecules? Combining topology and ontology using heterogeneous specifications
In: Deep Knowledge Representation Challenge Workshop. International Conference on Knowledge Capture (K-Cap-11), 6th, located at co-located with K-CAP …
Oliver Kutz; Till Mossakowski
A Modular Consistency Proof for Dolce
In: Wolfram Burgard; Dan Roth (Hrsg.). Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative …
Oliver Kutz; Till Mossakowski; Christian Galinski; Christoph Lange
Towards a Standard for Heterogeneous Ontology Integration and Interoperability
In: Key-Sun Choi (Hrsg.). Proceedings of the First International Conference on Terminology, Languages and Content Resources (LarC 2011). International …
Oliver Kutz; Till Mossakowski; Janna Hastings; Alexander Garcia Castro; Aleksandra Sojic
Hyperontology for the Biomedical Ontologist - A Sketch and Some Examples
In: George Gkoutos; Pierre Grenon (Hrsg.). Workshop on Working with Multiple Biomedical Ontologies. International Conference on Biomedical Ontologies …
Oliver Kutz; Till Mossakowski
The Onto-Logical Translation Graph
In: O. Kutz; T. Schneider (Hrsg.). Modular Ontologies - Proceedings of the Fifth International Workshop. International Workshop on Modular Ontologies …
Dominik Lücke; Till Mossakowski; Reinhard Moratz
Streets to the OPRA - Finding your destination with imprecise knowledge
In: Jochen Renz; Anthony G. Cohn; Stefan Wölfl (Hrsg.). IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning. IJCAI Workshop on …
Reinhard Moratz; Dominik Lücke; Till Mossakowski
A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments
In: Artificial Intelligence (AIJ), Vol. 175, No. 16-17, Pages 2099-2127, Elsevier, Amsterdam, 2011.
Glauber Cabral; Christian Maeder; Till Mossakowski; Lutz Schröder
Creating a HasCASL library
In: Jonathan Aldrich; Ricardo Massa (Hrsg.). 14th Brazilian Symposium on Programming Languages. Brazilian Symposium on Programming Languages …
Till Mossakowski; Lutz Schröder; Sergey Goncharov
A Generic Complete Dynamic Logic for Reasoning about Purity and Effects
In: Formal Aspects of Computing (FAC), Vol. 22, No. 3-4, Pages 363-384, Springer, Berlin, 5/2010.
Mihai Codescu; Till Mossakowski; Adrian Riesco; Christian Maeder
Integrating Maude into HETS
In: Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology. International Conference on Algebraic …