Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 31 bis 40 von 97
  1. Treatment of Incomplete Dialogs in a Speech-to-Speech Translation System

    In: Proceedings of the ESCA Research Workshop on Spoken Dialogue Systems. ESCA Research Workshop on Spoken Dialogue Systems (ESCA), Vigs\o, Denmark, …

  2. Plan Recognition in Verbmobil

    In: Proceedings of the IJCAI-95 Workshop "The Next Generation of Plan Recognition Systems: Challanges for an Insight from Related Areas of AI". …

  3. A robust and Efficient Threelayered Dialog Component for a Speech-to-Speech Translation System

    In: Proceedings of the 7th Conference of the European Chapter of the ACL. Conference of the European Chapter of the Association for Computational …

  4. Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Marek Wójcik

    Task Acquisition with a Descriptin Logic Reasoner

    In: A. Borgida; M. Lenzerini; D. Nardi; B. Nebel (Hrsg.). Proceedings of the 1995 International Workshop on Description Logics. International Workshop …

  5. Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Marek Wójcik

    Task Acquisition with a Description Logic Reasoner

    Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 95-04, 1995.

  6. Dieter Hutter; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    In: A. Ireland (Hrsg.). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. AISB-Workshop Automated …

  7. Using Colored Terms Everywhere

    In: Dagstuhl-Seminar Report, 122, IBFI GmbH. Dagstuhl Seminare/Workshops, Schloß Dagstuhl, 1995.

  8. Georg Rock

    Transformations of First-Order Formulae for Automated Reasoning

    em Masters Thesis. Max-Planck-Institut für Informatik, Germany, 4/1995.

  9. Frank Koop; Markus Ullmann; Stefan Wittmann; Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan; Andreas Wolpers; Wolfgang Reif

    The VSE development method - a way to engineer high-assurance software systems

    In: R. Gotzhein; J. Bredereke (Hrsg.). Tagungsband des 5. GI/ITG-Fachgesprächs "Formale Beschreibungstechniken für verteilte Systeme". …

  10. Hans-Jürgen Bürckert; Bernhard Nebel

    Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra

    In: Journal of the ACM (JACM), Vol. 42, No. 1, Pages 43-66, 1995.