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 91 bis 100 von 128
  1. 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 …

  2. Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt

    The Knowledge Representation System Specification: Ein Ansatz zur Standardisierung terminologischer Wissensrepräsentationsformalismen

    In: A. B. Cremers; G. Lakemeyer (Hrsg.). Proceedings of AKI-Workshop "Wissensrepräsentation". AKI-Workshop Wissensrepräsentation, Bonn, Germany, 1993.

  3. Hans-Jürgen Bürckert; Werner Nutt

    Modellierung epistemischer Propositionen

    In: O. Herzog; Th. Christaller; D. Schütt (Hrsg.). Grundlagen und Anwendungen der Künstlichen Intelligenz, 17. Fachtagung für Künstliche Intelligenz. …

  4. Jochen Bedersdorfer; Karsten Konrad; Ingo Neis; Oliver Scherf; Jörg Steffen; Michael Wein

    Eine Spezifikationssprache für Transformationen auf getypten Merkmalsstrukturen

    In: Harold Boley; François Bry; Ulrich Geske (Hrsg.). Proceedings of the Workshop on "Neuere Entwicklungen der deklarativen KI-Programmierung". Neuere …

  5. Rolf Backofen; Hans-Ulrich Krieger; Stephen P. Spackman; Hans Uszkoreit

    EAGLES Workshop on Implemented Formalisms at DFKI

    DFKI Document, DFKI, Vol. D-93-27, 1993.

  6. Rolf Backofen; Hans-Ulrich Krieger; Stephen P. Spackman; Hans Uszkoreit

    Report of the EAGLES Workshop on Implemented Formalisms at DFKI

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

  7. Rolf Backofen; Hans-Ulrich Krieger

    The TDL/ UDiNe System

    DFKI Document, DFKI, Vol. D-93-27, 1993.

  8. Rolf Backofen

    Regular Path Expressions in Feature Logic

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

  9. Rolf Backofen

    Regular Path Expressions in Feature Logic

    In: C. Kirchner (Hrsg.). 5th International Conference of the Rewriting Techniques and Applications (RTA '93), June 16-18. International Conference on …

  10. Rolf Backofen

    On the Decidability of Functional Uncertainty

    In: 31st Annual Meeting of the Association for Computational Linguistics. Annual Meeting of the Association for Computational Linguistics (ACL), 31st, …