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 41 bis 50 von 97
  1. Ulrich Furbach; Hans-Jürgen Bürckert; Joachim Hertzberg; Bernhard Nebel; Gerd Brewka; Gerd Lakemeyer; Torsten Schaub; Frank Puppe

    Ist die Wissensrepräsentation tot?

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

  2. Hans-Jürgen Bürckert; Andrea Gräber; Armin Laux

    Terminological Reasoning with Knowledge and Beliefs

    In: Armin Laux; Heinrich Wansing (Hrsg.). Knowledge and Beliefs in Philosophy and Artificial Intelligence. Pages 29-64, Akademie-Verlag, 1995.

  3. Andreas Dengel; Rainer Bleisinger; Rainer Hoch; Frank Hönes; Michael Malburg; Frank Fein

    OfficeMAID - A System for Automatic Mail Analysis, Interpretation and Delivery

    In: L. Spitz; Andreas Dengel (Hrsg.). Document Analysis Systems. Pages 52-75, World Scientific Publishing Co. Inc. 6/1995.

  4. Andreas Dengel; B. B. Jean

    Report of the Possibilities for International Collaboration Working Group

    In: L. Spitz; Andreas Dengel (Hrsg.). Document Analysis Systems. Pages 445-449, World Scientific Publishing Co. Inc. 6/1995.

  5. Lawrence Spitz; Andreas Dengel

    Document Analysis Systems

    Series in Machine Perception and Artificial Intelligence, Vol. 14, World Scientific Publishing Co. Inc. 6/1995.

  6. Andreas Dengel; Rainer Hoch; Michael Malburg

    OfficeMAID - Ein System zur Analyse, Interpretation und Verteilung von gedruckter Geschäftspost

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

  7. Syntactic Analysis and Representation of Spatial Structures by Puzzle¬trees

    In: International Journal on Pattern Recognition and Artificial Intelligence (IJPRAI), Vol. 9, No. 3/1995, Pages 517-533, 1995.

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

  9. Dieter Hutter; Michael Kohlhase

    A Colored Version of the Lambda-Calculus

    Technical Report, Vol. SR-95-08, 1995.

  10. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Verification Support Environment (VSE)

    In: William John Cullyer; Wolfgang A. Halang; Bernd J. Krämer (Hrsg.). Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic …