Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 80
  1. Walter Kasper; Hans-Ulrich Krieger

    Modularizing Codescriptive Grammars for Efficient Parsing

    Verbmobil-Report, DFKI, Vol. 140, 1996.

  2. Walter Kasper; Hans-Ulrich Krieger

    Modularizing Codescriptive Grammars for Efficient Parsing

    In: Proceedings of the 16th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-95), …

  3. Walter Kasper; Hans-Ulrich Krieger

    Integration of Prosodic and Grammatical Information in the Analysis of Dialogs

    Verbmobil-Report, DFKI, Vol. 141, 1996.

  4. Walter Kasper; Hans-Ulrich Krieger

    Integration of Prosodic and Grammatical Information in the Analysis of Dialogs

    In: Günther Görz; Steffen Hölldobler (Hrsg.). Proceedings of the 20th Annual German Conference on Artificial Intelligence. KI-96: Advances in …

  5. Andrew Bredenkamp; Thierry Declerck; Frederik Fouvry; Bradley Music

    Efficient Integrated Tagging of Word Constructs

    In: Proceedings of the 16th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-96), …

  6. Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux

    On Skolemization in Constrained Logics

    In: Martin C. Golumbic (Hrsg.). Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 18, No. 2, Pages 95-131, Springer, Netherlands, 9/1996.

  7. Heiko Mantel

    Eine Matrixcharakterisierung für ein Fragment der linearen Logik

    Mastersthesis, TH-Darmstadt, Germany, 12/1996.

  8. Susanne Biundo; Werner Stephan

    Modelling Planning Domains Systematically

    In: Wolfgang Wahlster (Hrsg.). Proceedings of the 12th European Conference on Artificial Intelligence 96. European Conference on Artificial …

  9. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Deduction in the Verification Support Environment (VSE)

    In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in …

  10. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Verification Support Environment (VSE)

    In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.