Skip to main content Skip to main navigation

Publications

Displaying results 31 to 40 of 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. Christoph Georg Jung; Klaus Fischer; Susanne Schacht

    Distributed Cognitive Systems - Proceedings of the VKS'97 Workshop

    DFKI, DFKI Documents (D), Vol. 97-08, 1997.

  6. Harold Boley; Bernd Bachmann; Christian Blum; Christian Embacher; Anderas Lorenz; Jamel Zakraoui

    PIMaS: Ein objektorientiert-regelbasiertes System zur Produkt-Prozeß-Transformation

    DFKI, DFKI Documents (D), Vol. 97-07, 1997.

  7. Tilman Becker; Stephan Busemann; Wolfgang Finkler

    DFKI Workshop on Natural Language Generation

    DFKI, DFKI Documents (D), Vol. 97-06, 1997.

  8. Stephan Baumann; Majdi Ben Hadj Ali; Jürgen Lichter; Michael Malburg; Harald Meyer auf'm Hofe; Claudia Wenzel

    Anforderungen an ein System zur Dokumentanalyse im Unternehmenskontext --- Integration von Datenbeständen, Aufbau- und Ablauforganisation

    DFKI, DFKI Documents (D), Vol. 97-05, 1997.

  9. Andreas Abecker; Stefan Decker; Knut Hinkelmann; Ulrich Reimer

    Proceedings of the Workshop "Knowledge-Based Systems for Knowledge Management in Enterprises" 97

    DFKI, DFKI Documents (D), Vol. 97-03, 1997.

  10. Tilman Becker; Hans-Ulrich Krieger

    Proceedings of the Fifth Meeting on Mathematics of Language (MOL5)

    DFKI, DFKI Documents (D), Vol. 97-02, 1997.