Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 11 bis 20 von 80.
  1. Claus Sengler

    Induction on Non-Freely Generated Data Types

    DFKI, DFKI Research Reports (RR), Vol. 96-01, 1996.

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

  3. Heiko Mantel

    Eine Matrixcharakterisierung für ein Fragment der linearen Logik

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

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

  5. Technical Staff

    DFKI Jahresbericht 1995

    DFKI, DFKI Documents (D), Vol. 96-07, 1996.

  6. Klaus Fischer (Hrsg.)

    Working Notes of the KI'96 Workshop on Agent-Oriented Programming and Distributed Systems

    DFKI, DFKI Documents (D), Vol. 96-06, 1996.

  7. Martin Schaaf

    Ein Framework zur Erstellung verteilter Anwendungen

    DFKI, DFKI Documents (D), Vol. 96-05, 1996.

  8. Franz Baader; Hans-Jürgen Bürckert; Andreas Günter; Werner Nutt (Hrsg.)

    Proceedings of the Workshop on Knowledge Representation and Configuration WKRP'96

    DFKI, DFKI Documents (D), Vol. 96-04, 1996.

  9. Winfried Tautges

    Der DESIGN-ANALYZER - Decision Support im Designprozess

    DFKI, DFKI Documents (D), Vol. 96-03, 1996.