Publikationen

Georg Rock; Werner Stephan; Andreas Wolpers

In: Hartmut König; Peter Langendörfer (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-98), 8. June 4-5, …

Andreas Wolpers; Werner Stephan

In: Gérard Morel; Francois B. Vernadat (Hrsg.). INCOM '98 Workshop on Formal verification for Automation Engineering. IFAC Symposium on Information …

Heiko Mantel; Christoph Kreitz

In: J. Dix; L. Farinas del Cerro; U. Furbach (Hrsg.). Proceedings of Logics in Artificial Intelligence, European Workshop, JELIA '98. Logics in …

Heiko Mantel

DFKI, DFKI Research Reports (RR), Vol. 98-03, 9/1998.

Serge Autexier; Heiko Mantel

Vol. SEKI Report SR-98-05, 1998.

Serge Autexier; Heiko Mantel; Werner Stephan

In: O. Herzog; A. Günter (Hrsg.). KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. German …

Jan Alexandersson; Bianka Buschbeck-Wolf; Tsutomu Fujinami; Michael Kipp; Stephan Koch; Elisabeth Maier; Norbert Reithinger; Birte Schmitz; Melanie Siegel

Verbmobil Report, German Research Center for Artificial Intelligence (DFKI), Vol. 226, 1998.

Stefan Müller

Verbmobil Report, DFKI, Vol. 224, 1998.

Stefan Müller

In: ESSLLI '98 Workshop on Current Topics in Constraint-Based Theories of Germanic Syntax. European Summer School in Logic, Language and Information …

Judith Klein; Sabine Lehmann; Klaus Netter; Tillmann Wegst

In: R. Nübel; U. Seewald-Heeg (Hrsg.). Evaluation of the Linguistic Performance of Machine Translation Systems. Proceedings of the KONVENS '98 …