Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 31 bis 40 von 70
  1. Wolfgang Wahlster; Elisabeth Andre; Som Bandyopadhyay; Winfried Graf; Thomas Rist

    WIP: The Coordinated Generation of Multimodal Presentations from a Common Representation

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

  2. Elisabeth Andre; Thomas Rist

    Synthesizing Illustrated Documents: A Plan-Based Approach

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

  3. Wolfgang Wahlster; Elisabeth Andre; Winfried Graf; Thomas Rist

    Designing Illustrated Texts: How Language Production is Influenced by Graphics Generation

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

  4. Bernhard Hollunder; Franz Baader

    Qualifying Number Restrictions in Concept Languages

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

  5. Francesco Donini; Bernhard Hollunder; Maurizio Lenzerini; Alberto Marchetti Spaccamela; Daniele Nardi; Werner Nutt

    The Complexity of Existential Quantification in Concept Languages

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

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

  7. Erich Achilles; Bernhard Hollunder; Armin Laux; Jörg-Peter Mohren

    KRIS : K-nowledge R-epresentation and I-nference S-ystem - Benutzerhandbuch

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

  8. Bernhard Nebel; Christof Peltason; Kai von Luck (Hrsg.)

    International Workshop on Terminological Logics

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

  9. Bernd Bachmann

    HieraCon - a Knowledge Representation System with Typed Hierarchies and Constraints

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

  10. Thilo C. Horstmann

    Distributed Truth Maintenance

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