Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 71 to 80 of 97.
  1. 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.

  2. Dieter Hutter; Michael Kohlhase

    A Colored Version of the Lambda-Calculus

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

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

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

  5. Markus Steffens; Ansgar Bernardi

    Integriertes Produktmodell für Behälter aus Faserverbundwerkstoffen

    DFKI, DFKI Documents (D), Vol. 95-06, 1995.

  6. Franz Schmalhofer; Ludger van Elst

    Entwicklung von Expertensystemen: Prototypen, Tiefenmodellierung und kooperative Wissensevolution

    In: W. Dzida; U. Konradt (Hrsg.). Psychologie des Software-Entwurfs. Pages 223-244, Göttingen: Verlag für Angewandte Psychologie, 1995.

  7. Rezension: Wolfgang Meyer: Expert Systems in Factory Management -- Knowledge-based CIM

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

  8. Andreas Dengel; Frank Dubiel

    Clustering and Classification of Document Structure - A Machine Learning Approach

    In: Proceedings of the Third International Conference on Document Analysis and Recognition. International Conference on Document Analysis and …

  9. Ansgar Bernardi; Anna-Maria Schoeller

    Definition of the term FEATURE -- a proposal

    FEMEX Arbeitspapier, ZGDV Darmstadt. Anonymous ftp on ftp.igd.fhg.de, /femex/WG1/DEF_BernardiSchoeller.ps, 6/1995.

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