Skip to main content Skip to main navigation

Publikationen

Seite 7 von 7.

  1. Ansgar Bernardi; Knut Hinkelmann; Michael Sintek

    Model-Based Information Systems for Knowledge Management

    In: IT& Knows, Conference on Information Technology and Knowledge Systems. Conference on Information Technology and Knowledge Systems (IT& Knows), located at 15th IFIP World Computer Congress, August 31 - September 4, Vienna & Budapest, Pages 458-471, ISBN 3-85403-122-X, Austrian Computer Society (OCG), 1998.

  2. Andreas Abecker; Ansgar Bernardi; Knut Hinkelmann; Otto Kühn; Michael Sintek

    Towards a Well-Founded Technology for Organizational Memories

    In: Proceedings of the AAAI Spring Symposium on Artificial Intelligence in Knowledge Management. AAAI Spring Symposium (AAAI SSS-97), March 24-26, Pages 1-7, 1997.

  3. Michael Sintek

    FLIP: Functional-plus-Logic Programming on an Integrated Platform

    DFKI, DFKI Technical Memos (TM), Vol. 95-02, 1995.

  4. Harold Boley; Klaus Elsbernd; Michael Herfert; Michael Sintek; Werner Stein

    RELFUN Guide: Programming with Relations and Functions Made Easy

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

  5. Michael Sintek

    Indexing PROLOG Procedures into DAGs by Heuristic Classification

    DFKI, DFKI Technical Memos (TM), Vol. 93-05, 1993.

  6. Werner Stein; Michael Sintek

    Relfun/X - An Experimental Prolog Implementation of Relfun

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

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