Publikationen

Philipp Cimiano; Anette Frank; Uwe Reyle

In: Proceedings of the 7th IWCS 2007. International Workshop on Computational Semantics (IWCS-7), January 10-12, Tilburg, Netherlands, 2007.

Dennis Spohr; Aljoscha Burchardt; Sebastian Pado; Anette Frank; Ulrich Heid

In: Proceedings of the 7th IWCS 2007. International Workshop on Computational Semantics (IWCS-7), January 10-12, Tilburg, Netherlands, 2007.

Jan Nemrava; Vojtech Svatek; Milan Simunek; Paul Buitelaar

In: Proc. of Znalosti 2007. Data a znalosti Conference, Ostrava, Czech Republic, 2/2007.

Jan Nemrava; Paul Buitelaar; Vojtech Svatek; Thierry Declerck

In: Proc. of the International Workshop on Image Analysis for Multimedia Interactive Services (WIAMIS). International Workshop on Image Analysis for …

Serge Autexier; Marvin Schiller; Dominik Dietrich; Christoph Benzmüller

In: Roman Englert; Michael Beetz; Joachim Hertzberg (Hrsg.). Advances in Artificial Intelligence. German Conference on Artificial Intelligence …

Roy McCasland; Alan Bundy; Serge Autexier

In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 135-150, Studies in Logic, Grammar and …

Jörg Siekmann; Serge Autexier

In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 231-248, Studies in Logic, Grammar and …

Matthias Deller; Achim Ebert; Michael Bender; Stefan Agne; Henning Barthel

In: HCM '07: Proceedings of the international workshop on Human-centered multimedia. International Workshop on Human-centered Multimedia (HCM), Pages …

Daniel Bahls; Thomas Roth-Berghofer

In: Proceedings of the 22nd Conference on Artificial Intelligence (AAAI-2007), July 22-26, Vancouver, BC, Canada. AAAI Conference on Artificial …

Serge Autexier; A. Fiedler; T. Neumann; M. Wagner

In: M. Kauers; M. Kerber; R. Miner; W. Windsteiger (Hrsg.). Towards Mechanized Mathematical Assistants. International Conference on Mathematical …