Skip to main content Skip to main navigation

Publikationen

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. Christoph Georg Jung; Klaus Fischer; Susanne Schacht

    Distributed Cognitive Systems - Proceedings of the VKS'97 Workshop

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

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

  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. Tilman Becker; Stephan Busemann; Wolfgang Finkler

    DFKI Workshop on Natural Language Generation

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

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

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

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

  9. Stefan Müller

    Yet Another Paper about Partial Verb Phrase Fronting in German

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

  10. Stefan Müller

    Subsumption or Unification - An HPSG-Analysis for Free Relative Clauses in German

    In: 6. Fachtagung der Sektion Computerlinguistik der Deutschen Gesellschaft für Sprachwissenschaft (DGfS/CL 97): Sektion Computerlinguistik, 08.-10. …