Publications

Erica Melis; Claus Sengler

Analogical Transfer of Verification Proofs for State-Based Specifications

DFKI, DFKI Research Reports (RR), Vol. 97-01, 1/1997.

Harold Boley; Andreas Abecker; Knut Hinkelmann; Otto Kühn; Manfred Meyer; Harald Meyer auf'm Hofe; Franz Schmalhofer; Holger Wache

VEGA Knowledge Validation and Exploration by Global Analysis

DFKI GmbH, DFKI Final Reports (FR), Vol. 97-01, 1997.

Gert Smolka; Martin Henz; Michael Mehl; Ralf Scheidhauer; Christian Schulte; Ralf Treinen; Jörg Würtz

Hydra - Hybride Werkbank zur Konstruktion von deduktiven Problemlösern in wissensbasierten Systemen: Berechnung und Deduktion mit Constraints

DFKI GmbH, DFKI Final Reports (FR), Vol. 97-02, 1997.

Jan Alexandersson; Norbert Reithinger; Elisabeth Maier

Insights into the Dialogue Processing of Verbmobil

In: Proceedings of the Fifth Conference on Applied Natural Language Processing. Conference on Applied Natural Language Processing, March 31 - April 3, …

Elisabeth Maier; Norbert Reithinger; Jan Alexandersson

Clarification Dialogues as Measure to Increase Robustness in a Spoken Dialogue System

In: Proceedings of the ACL-97 Workshop "Interactive Spoken Dialog Systems: Bringing Speech and NLP Together in Real Applications". ACL/EACL Workshop …

Christian Gerber

Scalability of Multi-Agent Systems - Proposal for a Dissertation

DFKI, DFKI Technical Memos (TM), Vol. 97-02, 1997.

Markus Perling

GeneTS: A Relational-Functional Genetic Algorithm for the Traveling Salesman Problem

DFKI, DFKI Technical Memos (TM), Vol. 97-01, 1997.

Reinhard Karger; A. Klüter; J. Schwinn; Wolfgang Wahlster

Verbmobil Teilprojekt 16 - Software Integration und Projektmanagement

DFKI GmbH, DFKI Final Reports (FR), Vol. 97-04, 1997.

Tania Avgustinova; Wojciech Skut

Panslavism Revisited

In: 30th Poznan Linguistic Meeting. Workshop on Slavic Languages in HPSG, May 1-3. Poznan Linguistic Meeting, Poznan, Poland, 1997.