Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 31 bis 40 von 80.
  1. Stephan Oepen; Frederik Fouvry; Klaus Netter; Thomas Fettig; Fred Oberhauser

    TSNLP User Manual. Volume 2: Core Test Suite Technology

    Technical Report, DFKI, 1996.

  2. Paul Schmidt; Sibylle Rieder; Axel Theofilidis; Thierry Declerck

    Lean Formalisms, Linguistic Theory, and Applications. Grammar Development in ALEP

    In: Proceedings of the 16th International Conference on Computational Linguistics (COLING'96), August 5-9. International Conference on Computational Linguistics (COLING), Copenhagen, Danmark, 1996.

  3. Sabine Lehmann; Stephan Oepen; Sylvie Regnier-Prost; Klaus Netter; Veronika Lux; Judith Klein; Kirsten Falkedal; Frederik Fouvry; Dominique Estival; Eva Dauphin; Hervé Compagnion; Judith Baur; Lorna Balkan; Doug Arnold

    TSNLP - Test Suites for Natural Language Processing

    In: Proceedings of the 16th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-96), August 5-9, Copenhagen, Denmark, Pages 711-716, 1996.

  4. Christoph Weidenbach; Bernd Gaede; Georg Rock

    SPASS & FLOTTER, Version 0.42

    In: M. McRobbie; J. Slaney (Hrsg.). 13th International Conference on Automated Deduction, CADE--13. International Conference on Automated Deduction (CADE), 13th, July 30-3, New Brunswick, NJ, USA, Pages 141-145, Lecture Notes in Artificial Intelligence (LNAI), Vol. 1104, Springer, 1996.

  5. Werner Stephan; Susanne Biundo

    Deduction-Based Refinement Planning

    In: Brian Drabble (Hrsg.). Proceedings of the Third International Conference on Artificial Intelligence Planning Systems. International Conference on Artificial Intelligence Planning Systems (AIPS-96), 3rd, May 20-31, Edinburgh, United Kingdom, Pages 213-220, AAAI-Press, 1996.

  6. Heiko Mantel

    Eine Matrixcharakterisierung für ein Fragment der linearen Logik

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

  7. 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 Intelligence (ECAI-96), 12th, August 11-16, Budapest, Hungary, Pages 599-603, John Wiley & Sons, 1996.

  8. 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 Formal Methods. Formal Methods Europe (FME-96), 3rd, March 17-21, Oxford, United Kingdom, Pages 168-286, Lecture Notes In Computer Science (LNCS), Vol. 1051, ISBN 3-540-60973-3, Springer-Verlag, London, UK, 1996.

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