Publications

Anthony Jameson; Barbara Großmann-Hutter; Christian Müller; Frank Wittig; Jürgen Kiefer; Ralf Rummer

In: Proceedings of the Second International Workshop on Modeling and Retrieval of Context. International Workshop on Modeling and Retrieval of Context …

Mohammed Ahmed; Othman E. Abdel-Rahman; Ibrahim E. Ziedan

In: Advanced Trends in Engineering. Minia International Conference for Advanced Trends in Engineering (MICATE-2005), 3rd, April 3-4, Minia, Egypt, …

David Aspinall; Christoph Lüth; Burkhart Wolff

In: Michael Kohlhase (Hrsg.). 4th International Conference on Mathematical Knowledge Management (MKM 2005). International Conference on Mathematical …

Ivana Kruijff-Korbayová; Tilman Becker; Nate Blaylock; Ciprian Gerstenberger; Michael Kaisser; Peter Poller; Jan Schehl; Verena Rieser

In: Claire Gardent; Bertrand Gaiffe (Hrsg.). Proceedings of DIALOR'05. Workshop Series on the Semantics and Pragmatics of Dialogue (SEMDIAL-05), 9th, …

Sven Jacobi; Cristián Madrigal Mora; Esteban León Soto; Klaus Fischer

In: AAMAS Industrial Applications. International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2005), July 25-29, Utrecht, …

Dennis Walter; Lutz Schröder; Till Mossakowski

In: Jose Fiadeiro; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …

Jürgen Wiese; Armin Stahl

In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

Aljoscha Burchardt; Anette Frank; Manfred Pinkal

In: Proceedings of the Sixth International Workshop on Computational Semantics. International Workshop on Computational Semantics (IWCS-6), January …

Ihlan Aslan; Feiyu Xu; Hans Uszkoreit; Antonio Krüger; Jörg Steffen

In: Proceedings of intelligent Technologies for interactive Entertainment (Intetain). Conference on INtelligent TEchnologies for interactive …

Anette Frank; Hans-Ulrich Krieger; Feiyu Xu; Hans Uszkoreit; Berthold Crysmann; Brigitte Jörg; Ulrich Schäfer

In: Journal of Applied Logic, Vol. electronic publication, Pages 20-48, Elsevier Science, 12/2005.