Skip to main content Skip to main navigation

Publications

 

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

Displaying results 11 to 20 of 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. Tilman Becker; Stephan Busemann; Wolfgang Finkler

    DFKI Workshop on Natural Language Generation

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

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

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

  6. Tilman Becker; Hans-Ulrich Krieger

    Proceedings of the Fifth Meeting on Mathematics of Language (MOL5)

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

  7. Thomas Malik

    NetGLTool Benutzeranleitung

    DFKI, DFKI Documents (D), 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 …

  9. Gertjan van Noord; Günter Neumann

    Syntactic Generation

    In: Ronald A. Cole; Joseph Mariani; Hans Uszkoreit; Annie Zaenen; Victor Zue (Hrsg.). Survey of the State of the Art in Human Language Technology. …

  10. Hans Uszkoreit; Annie Zaenen

    Grammar Formalisms

    In: Ronald A. Cole (Hrsg.). Survey of the State of the Art in Human Language Technology. Pages 95-96, Cambridge University Press, Cambridge, 1997.