Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 111 bis 120 von 144.
  1. Vollständige Induktion

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Oldenbourg Verlag, 1992.

  2. Adapting a Resolution Calculus for Inductive Proofs

    In: Bernd Neumann (Hrsg.). Proceedings of the 10th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-92), August 3-7, Wien, Austria, Pages 65-69, ISBN 0-471-93608-1, John Wiley & Sons, Inc. New York, 1992.

  3. Judith Klein; Klaus Netter

    DiTo - Ein Diagnostik-Werkzeug für die syntaktische Analyse

    In: A. Raasch (Hrsg.). 23. Jahrestagung der Gesellschaft für Angewandte Linguistik. Jahrestagung der Gesellschaft für Angewandte Linguistik (GAL), 23. October 1, Saarbrücken, Germany, 1992.

  4. Judith Klein; Ludwig Dickmann; Abdel Kader Diagne; John Nerbonne; Klaus Netter

    DiTo - Ein Diagnostik-Werkzeug für die syntaktische Analyse

    In: Günther Görz (Hrsg.). Proceedings of the 1. Konferenz Verarbeitung natürlicher Sprache. Konferenz zur Verarbeitung natürlicher Sprache (KONVENS-92), October 7-9, Nürnberg, Germany, Pages 380-384, Informatik Aktuell, Springer Verlag, 1992.

  5. Judith Klein; Ludwig Dickmann

    DiTo-Datenbank. Dokumentation zu Verbrektion und Koordination

    DFKI, DFKI Documents (D), Vol. 92-04, 1992.

  6. Walter Kasper; Marc Moens; Henk Zeevat

    Anaphora Resolution

    In: Gabriel G. Bes; Thierry Guillotin (Hrsg.). A Natural Language and Graphics Interface. Results and Perspectives from the Acord Project. Pages 65-93, Springer Verlag, Berlin, 1992.

  7. Walter Kasper; Kurt Eberle; Christian Rohrer

    Contextual Constraints for MT

    In: Proceedings of the 4th International Conference on Theoretical and Methodological Issues in Machine Translation. International Conference on Theoretical and Methodological Issues in Machine Translation (TMI-92), 4th, June 25-27, Montreal, QC, Canada, Pages 213-224, 1992.

  8. Walter Kasper

    Semantische Repräsentation und LFG

    Institut für Maschinelle Sprachverarbeitung (IMS), Arbeitspapiere des SFB 340 Sprachtheoretische Grundlagen für die Computerlinguistik, Vol. 10, 1992.

  9. Walter Kasper

    Presuppositions, Composition, and Simple Subjunctives

    In: Journal of Semantics, Vol. 9, Pages 197-221, Oxford University Press, 1992.