Publikationen

Christoph Endres

DFKI, DFKI Technical Memos (TM), Vol. 99-04, 4/1999.

Barbara Großmann-Hutter; Christian Müller

In: Tania Jörding (Hrsg.). ABIS-99, Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen. GI-Workshop "Adaptivität und …

Christoph Endres; Markus Meyer; Wolfgang Wahlster

In: Proceedings of Online 99. European Congress Fair for Technical Communication (ONLINE-99), 22nd, Düsseldorf, Germany, Pages 211-232, Online-Verlag, …

Mark Seligman; Jan Alexandersson; Kristiina Jokinen

In: Proceedings of the IJCAI Workshop. IJCAI Workshop on Knowledge and Reasoning in Practical Dialogue Systems (KRPD-99), August 2, Stockholm, Sweden, …

Michael Kipp; Jan Alexandersson; Norbert Reithinger

In: Proceedings of the IJCAI Workshop. IJCAI Workshop on Knowledge and Reasoning in Practical Dialogue Systems (KRPD-99), August 2, Stockholm, Sweden, …

Heiko Mantel; Jens Otten

In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International …

Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …

Dennis Dams; Dieter Hutter; Natalia Sidorova

In: Françoise Bellegarde; Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S. Workshop on Modelling and Verification, Besançon, …

Dieter Hutter; Alan Bundy

In: H. Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …

Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel

In: Dieter Hutter; Werner Stephan; P. Traverso; M. Ullmann (Hrsg.). Proceedings Current Trends in Applied Formal Methods. International Workshop on …