Skip to main content Skip to main navigation

Publikationen

Seite 2 von 3.

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

  2. Hans-Ulrich Krieger; Ulrich Schäfer

    TDL - A Type Description Language for Unification-Based Grammars

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

  3. Harold Boley

    Extended Logic-plus-Functional Programming

    DFKI, DFKI Research Reports (RR), Vol. 92-03, 1992.

  4. Harold Boley

    A Direkt Semantic Characterization of RELFUN

    DFKI, DFKI Research Reports (RR), Vol. 92-54, 1992.

  5. Ansgar Bernardi; Harold Boley; Knut Hinkelmann; Philipp Hanschke; Christoph Klauck; Otto Kühn; Ralf Legleitner; Manfred Meyer; Michael M. Richter; Gabriele Schmidt; Franz Schmalhofer; Walter Sommer

    ARC-TEC: Acquisition, Representation and Compilation of Technical Knowledge

    In: Proceedings of th 10th International Workshop on Expert Systems and their Applications: Tools, Techniques and Methods. International Workshop on …

  6. Rolf Backofen; Lutz Euler; Günther Görz

    Distributed Disjunctions for LIFE

    In: Harold Boley; M.M. Richter (Hrsg.). International Workshop on Processing Declarative Knowledge. International Workshop on Processing Declarative …

  7. Harold Boley; Klaus Elsbernd; Hans-Günther Hein; Thomas Krause

    RFM Manual: Compiling RELFUN into the Relational/Functional Machine

    DFKI, DFKI Documents (D), Vol. 91-03, 1991.

  8. Harold Boley; Philipp Hanschke; Martin Harm; Knut Hinkelmann; Thomas Labisch; Manfred Meyer; Jörg Müller; Thomas Oltzen; Michael Sintek; Werner Stein; Frank Steinle

    MikroCAD2NC: A Declarative Lathe-Workplanning Model Transforming CA D-like Geometries into Abstract NC Programs

    DFKI, DFKI Documents (D), Vol. 91-15, 1991.

  9. Ansgar Bernardi; Harold Boley; Philipp Hanschke; Knut Hinkelmann; Christoph Klauck; Otto Kühn; Ralf Legleitner; Manfred Meyer; M.M. Richter; Franz Schmalhofer; Gabriele Schmidt; Walter Sommer

    ARC-TEC: Acquisition, Representation and Compilation of Technical Knowledge

    DFKI, DFKI Research Reports (RR), Vol. 91-27, 1991.

  10. Harold Boley (Hrsg.)

    A Sampler of Relational/Functional Definitions

    Second, Revised Edition, DFKI, DFKI Technical Memos (TM), Vol. 91-04, 1991.