Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 31 bis 35 von 35
  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. Mark-Jan Nederhof; Giorgio Satta

    A Variant of Earley Parsing

    In: Maurizio Lenzerini (Hrsg.). Advances in Artificial Intelligence. 5th Conference of the Italian Association for Artificial Intelligence (AI*IA 97), …