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 81 to 90 of 128.
  1. Michael M. Richter; Bernd Bachmann; Ansgar Bernardi; Christoph Klauck; Ralf Legleitner; Gabriele Schmidt

    Von IDA zu IMCOD: Expertensysteme im CIM-Umfeld

    DFKI, DFKI Research Reports (RR), Vol. 93-36, 7/1993.

  2. Michael M. Richter; Bernd Bachmann; Ansgar Bernardi; Christoph Klauck; Ralf Legleitner; Gabriele Schmidt

    Von IDA zu IMCOD: Expertensysteme im CIM Umfeld

    In: VDI-EKV: Rechnerunterstützte Wissensverarbeitung in Entwicklung und Konstruktion. VDI-EKV Fachtagung des Arbeitskreises Entwicklung, Konstruktion …

  3. Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Jörg Siekmann

    Projekt WINO: Wissens- und Inferenzobjektivierung

    Abschlussbericht, 1993.

  4. Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux

    On Skolemization in Constrained Logis

    DFKI GmbH, DFKI Research Reports (RR), Vol. 93-06, 1993.

  5. Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux

    Concept Logics with Function Symbols

    DFKI GmbH, DFKI Research Reports (RR), Vol. 93-07, 4/1993.

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

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

    DFKI, DFKI Research Reports (RR), Vol. 93-11, 1993.

  7. Franz Baader; Hans-Jürgen Bürckert

    Allowing fpor Contructor Terms and Equations in Terminological Reasoning (Abstract)

    In: Eric Domenjoud; Claude Kirchner (Hrsg.). Proceedings of 1st CCL Workshop. Computational Chemistry List Workshop (CCL), 1st, Nancy, France, …

  8. Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)

    Proceedings of the Workshop on Modeling Epistemic Propositions

    Workshop on Modeling Epistemic Propositions, located at 17th German Conference on Artificial Intelligence, September 13-16, Berlin, Germany, DFKI …

  9. Towards Performance Models for Declarative Grammar Formalisms

    CLAUS-Report, Universität des Saarlandes, Vol. 29, 1993.

  10. Melanie Siegel; Dieter Metzing

    Rekonstruktion von Verfahren der Textproduktion

    In: Gert Rickheit (Hrsg.). Modellierung von Sprachverarbeitung in Texten und Diskursen. Westdeutscher Verlag, Opladen, 1993.