Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1996
Alle Filter entfernen
Zeige Ergebnisse 41 bis 50 von 80.

  1. Melanie Siegel

    Preferences and Defaults for Definiteness and Number in Japanese to German Machine Translation

    In: Byung-Soo Park; Jong-Bok Kim (Hrsg.). Selected Papers from the 11th Pacific Asia Conference on Language, Information and Computation (PACLIC 11), December 20-22. Pacific Asia Conference on Language, Information and Computation (PACLIC-11), Kyung Hee University, Seoul, 1996.

  2. Joachim Quantz; Jan Alexandersson

    Word-Lattice Parsing Based on Heterogeneous Information Sources

    In: Proceedings of the ECAI-96 Workshop "Corpus_OrientedSemantic Analysis". European Conference on Artificial Intelligence (ECAI-96), August 11-16, Budapest, Hungary, John Wiley & Sons, New York, 8/1996.

  3. Jan Alexandersson

    Some Ideas for the Automatic aquisition of Dialogue Structure

    In: Anton Nijholt; Harry Bunt; Susann LuperFoy; Gert Veldhuijzen van Zanten; Jan Schaake (Hrsg.). Proceedings of the Eleventh Twente Workshop on Language Technology. Twente Workshop on Language Technology (TWLT-1996), Dialogue Management in Natural Language Systems, June 19-21, Twente, Netherlands, 1996.

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

  5. Heiko Mantel

    Eine Matrixcharakterisierung für ein Fragment der linearen Logik

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

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

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

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

  9. Dieter Hutter; David McAllister; Christoph Walther

    Workshop on Automation of Proofs by Mathematical Induction

    13th Conference on Automated Deduction, New Brunswick, USA, 1996.

  10. Dieter Hutter; Claus Sengler

    INKA: The Next Generation

    In: Michael A. McRobbie; John K. Slaney (Hrsg.). Proceedings of the 13th International Conference on Automated Deduction - CADE-13. International Conference on Automated Deduction (CADE), 13th, July 30 - August 3, New Brunswick, NJ, USA, Pages 288-292, Lecture Notes in Computer Science (LNCS), Vol. 1104, ISBN 978-3-540-61511-8, Springer-Verlag, Berlin, Heidelberg, 1996.

Jahr