Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 19 bis 24 von 91
  1. Franz Baader; Klaus Schulz

    Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures

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

  2. Hans-Ulrich Krieger; John Nerbonne

    Feature-Based Inheritance Networks for Computational Lexicons

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

  3. Stefan Bussmann

    Prototypical Concept Formation - An Alternative Approach to Knowledge Representation

    DFKI, DFKI Technical Memos (TM), Vol. 91-15, 1991.

  4. Knut Hinkelmann

    Forward Logic Evaluation: Developing a Compiler from a Partially Evaluated Meta Interpreter

    DFKI, DFKI Technical Memos (TM), Vol. 91-13, 1991.

  5. Klaus Becker; Christoph Klauck; Johannes Schwagereit

    FEAT-PATR: Eine Erweiterung des D-PATR zur Feature-Erkennung in CAD/CAM

    DFKI, DFKI Technical Memos (TM), Vol. 91-12, 1991.

  6. Peter Wazinski

    Generating Spatial Descriptions for Cross-modal References

    DFKI, DFKI Technical Memos (TM), Vol. 91-11, 1991.