Publications

Dominik Lücke; Till Mossakowski; Diedrich Wolter

In: Christian Freksa; Nora S. Newcombe; Peter Gärdenfors; Stefan Wölfl (Hrsg.). Spatial Cognition VI. Learning, Reasoning, and Talking about Space. …

Oliver Kutz; Till Mossakowski

In: Malik Ghallab; Constantine D. Spyropoulos; Nikos Fakotakis; Nikos Avouris (Hrsg.). Proceedings of the 18th European Conference on Artificial …

Oliver Kutz; Dominik Lücke; Till Mossakowski

In: First International Workshop on Foundations of Computer Science as Logic-Related. International Workshop on Foundations of Computer Science as …

Oliver Kutz; Dominik Lücke; Till Mossakowski; Immanueal Normann

In: Catherine Dolbear; Alan Ruttenberg; Uli Sattler (Hrsg.). OWL: Experiences and Directions, 5th International Workshop. The OWL: Experiences and …

Mihai Codescu; Till Mossakowski

In: Frédéric Boulanger; Christophe Gaston; Pierre-Yves Schobbens (Hrsg.). Workshop on Modeling, Validation and Heterogeneity. Workshop on Modeling, …

Hui Shi; Yohei Kurata

In: Björn Gottfried; Hamid K. Aghajan (Hrsg.). 2nd International Workshop on Behavioral Monitoring and Interpretation. International Workshop on …

Yohei Kurata; Hui Shi

In: Nico Van de Weghe; Roland Billen; Bart Kuijpers; Peter Bogaert (Hrsg.). International Workshop on Moving Objects: From Natural to Formal Language. …

Hui Shi; Yohei Kurata

In: Electric Poster Proceedings of GIScience 2008. International Conference on Geographic Information Science (GIScience-2008), September 23-26, Park …

Mihai Codescu; Daniel Găină

In: Logica Universalis, Vol. 2, No. 2, Pages 277-309, Birkhäuser Basel, 2008.

Dominik Dietrich; Ewaryst Schulz; Marc Wagner

In: Intelligent Computer Mathematics - 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM …