Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 13 bis 18 von 116
  1. Harald Meyer auf'm Hofe

    Finding Regions of Local Repair in Hierarchical Constraint Satisfaction

    DFKI, DFKI Research Reports (RR), Vol. 97-05, 1997.

  2. Stephan Busemann; Thierry Declerck; Abdel Kader Diagne; Luca Dini; Judith Klein; Sven Schmeier

    Natural Language Dialogue Service for Appointment Scheduling Agents

    DFKI, DFKI Research Reports (RR), Vol. 97-02, 1997.

  3. Erica Melis; Claus Sengler

    Analogical Transfer of Verification Proofs for State-Based Specifications

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

  4. 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.

  5. Stephan Busemann; Thierry Declerck; Abdel Kader Diagne; Elizabeth Hinkelman; Hans Uszkoreit

    Cooperative Schedule Management Agent. Abschlussbericht COSMA

    DFKI-Report R:S97-216, DFKI, o.A. 1997.

  6. Stephan Busemann; Thierry Declerck; Abdel Kader Diagne; Luca Dini; Judith Klein; Sven Schmeier

    Natural Language Dialogue Service for Appointment Scheduling Agents

    In: Paul Jacobs (Hrsg.). Proceedings of the 5th Conference on Applied Natural Language Processing. Applied Natural Language Processing Conference …