Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 11 bis 20 von 116.
  1. 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.

  2. Erica Melis; Claus Sengler

    Analogical Transfer of Verification Proofs for State-Based Specifications

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

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

  4. 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 on Interactive Spoken Dialog Systems: Bringing Speech and NLP Together in Real Applications, July 11-12, Madrid, Spain, 7/1997.

  5. 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, Washington D.C. USA, Pages 33-40, ACL, 1997.

  6. Christian Gerber

    Scalability of Multi-Agent Systems - Proposal for a Dissertation

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

  7. Markus Perling

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

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

  8. Towards a computational semantics of path relations

    In: Proceedings of the 14th National Conference on Artificial Intelligence, Workshop on Language and Space. AAAI Conference on Artificial Intelligence (AAAI-1997), 14th, July 27-31, Providence, Rhode Island, USA, Citeseer, 1997.

  9. Equational Proof-Planning by Dynamic Abstraction

    In: U. Furbach; M. P. Bonacina (Hrsg.). International Workshop on First-Order Theorem Proving - FTP97. International Workshop on First-Order Theorem Proving (FTP), Linz, Australia, Pages 1-6, RISC-Linz Report Series No. 97-50, 1997.

  10. Parameterized Abstractions used for Proof Planning

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