Publications

Anne Kilger; Peter Poller

In: Proceedings of the 5th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+5). Colloque International sur les Grammaires …

Ralf Engel

In: 6th International Conference on Spoken Language Processing (ICSLP-2000), Vol.4,. International Conference on Spoken Language Processing (ICSLP), …

Mathias Bauer; Dietmar Dengler; Gabriele Paul

In: M. Bauer and C. Rich, editors, Learning How to Do Things: Papers from the 2000 AAAI Fall Symposium, North Falmouth, MA, USA. AAAI Fall Symposium, …

Tilman Becker; Joshi Aravind; Owen Rambow

In: In Anne Abeille and Owen Rambow,editor: Tree Adjoining Grammars. 2000.

Anthony Jameson; Barbara Großmann-Hutter; Leonie March; Ralf Rummer

In: H. Lieberman (Ed.), IUI 2000: International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces …

Dieter Hutter; Michael Kohlhase

In: Journal of Automated Reasoning (JAR), Vol. 25, No. 2, Pages 123-164, Kluwer, 2000.

Dieter Hutter; Bruno Langenstein; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt

In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 2000.

Dieter Hutter; Heiko Mantel; Klaus P. Jantke; Georg Rock; Werner Stephan

In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium, …

Dieter Hutter; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt

In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS), Pages …

Dieter Hutter

In: Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 29, Kluwer Academic Publisher, 2000.