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 121 to 128 of 128.
  1. Abbildung von Expertenwissen am Beispiel der Fertigungstechnik

    Vortrag auf der Siemens Nixdorf Informationsveranstaltung für Lehrkräfte: Künstliche Intelligenz Reale Systeme aus Forschung und Industrie, 6/1993.

  2. Bernd Bachmann; Ansgar Bernardi; Christoph Klauck; Gabriele Schmidt (Hrsg.)

    Design & KI

    DFKI, DFKI Documents (D), Vol. 93-16, 1993.

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

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

  5. Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka

    On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations

    In: Journal of Logic, Language and Information, Vol. 2, No. 1, Pages 1-18, Springer, Netherlands, 3/1993.

  6. Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

    VSE Verification Support Environment. Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien

    In: Proceedings of the 3. GI-Fachtagung Verläßliche Informationssysteme Vis'93. GI-Fachtagungen, 3. May 11-13, München, Germany, DuD-Fachbeiträge, …

  7. Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

    VSE Verification Support Environment

    In: Proceedings Online 93. European Congress Fair for Technical Communication (ONLINE-93), Hamburg, Germany, 1993.