Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 80.
  1. Melanie Siegel

    Die japanische Syntax im Verbmobil-Forschungsprototypen

    Verbmobil Report, DFKI, Vol. 133, 1996.

  2. Melanie Siegel

    Definiteness and Number in Japanese to German Machine Translation

    In: Dafydd Gibbon (Hrsg.). Natural Language Processing and Speech Technology. Mouton de Gruyter, Berlin, 1996.

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

  4. Thomas Pechmann; Hans Uszkoreit; Johannes Engelkamp; Dieter Zerbst

    Wortstellung im Deutschen Mittelfeld

    In: Christopher Habel; Siegfried Kanngießer; Gert Rickheit (Hrsg.). Perspektiven der Kognitiven Linguistik. Pages 257-299, Westdeutscher Verlag, Oplaten, 1996.

  5. Stephan Oepen; Frederik Fouvry; Klaus Netter; Thomas Fettig; Fred Oberhauser

    TSNLP User Manual. Volume 2: Core Test Suite Technology

    Technical Report, DFKI, 1996.

  6. Wojciech Skut

    Finite Automata for Processing Word Order

    In: Workshop on Extended Finite State Models of Language (ECAI '96), August 12-16. European Conference on Artificial Intelligence (ECAI), Budapest, Hungary, von Neumann Society of Computer Science, 1996.

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

  8. Heiko Mantel

    Eine Matrixcharakterisierung für ein Fragment der linearen Logik

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

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

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