Publikationen

Mihai Codescu; Till Mossakowski

In: Frédéric Boulanger; Christophe Gaston; Pierre-Yves Schobbens (Hrsg.). Workshop on Modeling, Validation and Heterogeneity. Workshop on Modeling, Validation and Heterogeneity (MoVaH-08), located at IEEE International Conference on Software Testing Verification and Validation, April 9-11, Lillehammer, Norway, IEEE press, 2008.

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. International Conference Spatial Cognition (Spatial Cognition-08), September 15-19, Freiburg, Germany, Pages 426-440, Lecture Notes in Computer Science, Vol. 5248, ISBN 978-3-540-87600-7, Springer, Berlin, Heidelberg, 2008.

Oliver Kutz; Till Mossakowski

In: Malik Ghallab; Constantine D. Spyropoulos; Nikos Fakotakis; Nikos Avouris (Hrsg.). Proceedings of the 18th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-2008), July 21-25, Patras, Greece, Pages 89-93, Frontiers in Artificial Intelligence and Applications, Vol. 178, ISBN 978-1-58603-891-5, IOS Press, Amsterdam, The Netherlands, 2008.

Hui Shi; Yohei Kurata

In: Björn Gottfried; Hamid K. Aghajan (Hrsg.). 2nd International Workshop on Behavioral Monitoring and Interpretation. International Workshop on Behavioral Monitoring and Interpretation (BMI-08), 2nd, located at 31st Annual Conference on Artificial Intelligence (KI-2008), September 23, Kaiserslautern, Germany, Pages 42-56, CEUR Workshop Proceedings, Vol. 396, CEUR-WS.org, 2008.

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. International Workshop on Moving Objects, located at GIScience 2008, September 23, Park City, UT, USA, 2008.

Hui Shi; Yohei Kurata

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

Dominik Dietrich; Ewaryst Schulz; Marc Wagner

In: Intelligent Computer Mathematics - 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 208, Proceedings. Conferences on Intelligent Computer Mathematics (CICM-08), July 31 - August 1, Birmingham, United Kingdom, Pages 398-414, Lecture Notes in Artificial Intelligence (LNAI), Vol. 5144, Springer, Berlin, Heidelberg, 2008.

Dominik Dietrich; Ewaryst Schulz

In: Workshop on Programming Languages for Mechanized Mathematics Systems. Conferences on Intelligent Computer Mathematics (CICM-08), July 29, Birmingham, United Kingdom, Pages 16-28, 2008.

Harm op den Akker; Christian Husodo Schulz

In: Machine Learning for Multimodal Interaction. Machine Learning and Multimodal Interaction (MLMI-08), 5th International Workshop, September 8-10, Utrecht, Netherlands, Pages 196-207, Lecture Notes in Computer Science (LNCS), Vol. 5237/2008, No. 0302-9743 (Print) 1611-3349 (Online), ISBN 978-3-540-85852-2. Springer, Berlin / Heidelberg, 9/2008.

Mihai Codescu; Daniel Găină

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