Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1997
Alle Filter entfernen
Zeige Ergebnisse 11 bis 20 von 116.

  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. Christian Gerber

    Scalability of Multi-Agent Systems - Proposal for a Dissertation

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

  4. Markus Perling

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

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

  5. Gert Smolka; Martin Henz; Michael Mehl; Ralf Scheidhauer; Christian Schulte; Ralf Treinen; Jörg Würtz

    Hydra - Hybride Werkbank zur Konstruktion von deduktiven Problemlösern in wissensbasierten Systemen: Berechnung und Deduktion mit Constraints

    DFKI GmbH, DFKI Final Reports (FR), Vol. 97-02, 1997.

  6. 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 (AAAI-1997), 14th, July 27-31, Providence, Rhode Island, USA, Citeseer, 1997.

  7. Tania Avgustinova; Wojciech Skut

    Panslavism Revisited

    In: 30th Poznan Linguistic Meeting. Workshop on Slavic Languages in HPSG, May 1-3. Poznan Linguistic Meeting, Poznan, Poland, 1997.

  8. Tania Avgustinova; Wojciech Skut

    Encoding Common Slavic Linguistic Knowledge in HPSG

    In: Peter Kosta; M. Unger (Hrsg.). 2nd European Conference on Formal Description of Slavic Languages (FDSL2), November 20-22. European Conference on Formal Description of Slavic Languages (FDSL), Potsdam, Germany, 1997.

  9. Tania Avgustinova; Karel Oliva

    The Proper Treatment of Binding in HPSG (in general) and in Czech (in particular)

    In: 30th Poznan Linguistic Meeting. Workshop on Slavic Languages in HPSG, May 1-3. Poznan Linguistic Meeting, Poznan, Poland, 1997.

  10. Tania Avgustinova; Karel Oliva

    On the Nature of the Wackernagel Position in Czech

    In: Uwe Junghanns; Gerhild Zybatow (Hrsg.). Formale Slavistik. Pages 25-47, Leipziger Schriften zur Kultur-, Literatur-, Sprach- und Übersetzungsw, Vervuert Verlag, Frankfurt am Main, 1997.

Jahr