Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 1997
Remove all filters
Displaying results 11 to 16 of 16.

  1. Erica Melis; Claus Sengler

    Analogical Transfer of Verification Proofs for State-Based Specifications

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

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

  3. Antonio Krüger; Wolfgang Maaß

    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 …

  4. Christian Gerber

    Scalability of Multi-Agent Systems - Proposal for a Dissertation

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

  5. Markus Perling

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

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

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

Year