Publikationen

Serge Autexier; C. Benzmüller (Hrsg.)

Workshop on User Interfaces for Theorem Provers (UITP-2006), August 21, Seattle, WA, USA, Electronic Notes in Theoretical Computer Science (ENTCS), …

Jan Alexandersson; Tilman Becker

In: H. Bunt; R. Muskens (Hrsg.). Computing Meaning. Pages 423-455, Studies in Linguistics and Philosophy, Vol. 83, Springer, Netherland, 2007.

Ingo Zinnikus; Christian Hahn; Michael Klein; Klaus Fischer

In: B. J. Krämer; K.-J. Lin; P. Narasimhan (Hrsg.). Proceedings of the 5th International Conference on Service-Oriented Computing. International …

Z. Zhang; Jörg Siekmann (Hrsg.)

International Conference on Knowledge Science, Engeneering and Management (KSEM-2007), November 28-30, Melbourne, Australia, LNCS, Vol. 4798, …

Hendrik Zender; Geert-Jan Kruijff

In: L. Seabra Lopes; T. Belpaeme; S.J. Cowley (Hrsg.). Language and Robots: Proceedings of the Symposium. Symposium on Language and Robots …

M. Wolpers; Gunnar Martin; E. Duval

In: K. Tochtermann; H. Maurer (Hrsg.). Proceedings of the 7th International Conference on Knowledge Management (I-KNOW-2007), September 5-7, Graz, …

Rui Wang; Günter Neumann

In: A. Nardi; C. Peters (Hrsg.). Online proceedings of CLEF 2007 Working Notes. Conference and Labs of the Evaluation Forum (CLEF), …

Hannes Vilhjálmsson; Nathan Cantelmo; Justine Cassell; Nicolas E. Chafai; Michael Kipp; Stefan Kopp; Maurizio Mancini; Stacy Marsella; Andrew N. Marshall; Catherine Pelachaud; Zsofi Ruttkay; Kristinn R. Thórisson; Herwin van Welbergen; Rick J. van der Werf

In: Catherine Pelachaud; Jean-Claude Martin; Elisabeth Andre; Gérard Chollet; Kostas Karpouzis; Danielle Pelé (Hrsg.). Proceedings of the 7th …

Hans Uszkoreit

In: Proceedings of the Third IEEE International Conference on Natural Language Processing and Knowledge Engineering. IEEE International Conference on …

Carsten Ullrich

PhD-Thesis, Universität des Saarlandes, 2007.