Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 121 bis 128 von 128
  1. Zhaohui Wu; Ansgar Bernardi; Christoph Klauck

    Skeletal Plans Reuse: A Restricted Conceptual Graph Classification Approach

    In: Proceedings of Seventh Annual Workshop on Conceptual Graphs. Annual Workshop on Conceptual Graphs, Conceptual Structures: Theory and …

  2. Ansgar Bernardi; Ralf Legleitner; Christoph Klauck

    PIM: Skeletal plan based CAPP

    In: CARS & FOF '92: Excerpts from the 8th International Conference on CAD/CAM, Robotics and Factories of the Future. ISPE International Conference on …

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

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

    Design & KI

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

  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.