Publikationen

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.

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.

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 und Vertrieb, September 28-29, Heidelberg, Germany, VDI, Düsseldorf, 1993.

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

Design & KI

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

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.

Jürgen Cleve; Dieter Hutter

Guiding equational proofs by attribute functions

Interner Bericht, 1993.

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, Vol. 16, ISBN 978-3-528-05344-4, Springer, 1993.