Publications

Sergey Goncharov; Lutz Schröder; Till Mossakowski

In: Rastislav Kralovic; Pawel Urzyczyn (Hrsg.). Mathematical Foundations of Computer Science. International Symposium on Mathematical Foundations of …

Udo Frese; Lutz Schröder

In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Beijing. IEEE/RSJ International Conference on Intelligent …

Tim Schwartz; Ralf Jung

In: Thomas Pederson; Helder Pinto; Michael Schmitz; Christoph Stahl; Lucia Terrenghi (Hrsg.). Proceedings of Modelling and Designing User Assistance …

Tilman Becker; Nate Blaylock; Ciprian Gerstenberger; Ivana Kruijff-Korbayová; Andreas Korthauer; Manfred Pinkal; Michael Pitz; Peter Poller; Jan Schehl

In: G. Brewka; S. Coradeschi; A. Perini; P. Traverso (Hrsg.). ECAI 2006. European Conference on Artificial Intelligence (ECAI-2006), 17th, August 29 - …

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

In: Coling ACL 2006 on Interactive presentations. International Conference on Computational Linguistics (COLING-06), COLING/ACL on Interactive …

Ralf Jung; Dominikus Heckmann

In: Workshop on Ubiquitous User Modeling. Workshop on Ubiquitous User Modeling (UbiqUM-06), Ubiquitous User Modeling, located at ECAI 2006, August 28, …

Till Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel

In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1-2, Pages 146-197, 2006.

Till Mossakowski; Lutz Schröder; Stefan Wölfl

In: Stefan Wölfl; Till Mossakowski (Hrsg.). Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006. Qualitative Constraint …

Till Mossakowski

Department of Computer Science; Universität Bremen, o.A. 2006.

Till Mossakowski

In: M. Johnson; V. Vene (Hrsg.). AMAST 2006. International Conference on Algebraic Methodology and Software Technology (AMAST-06), 11th, July 5-8, …