Skip to main content Skip to main navigation

Publications

Displaying results 31 to 40 of 105.
  1. Cornelia Fischer

    PAntUDE -- An Anti-Unification Algorithm for Expressing Refined Generalizations

    DFKI, DFKI Technical Memos (TM), Vol. 94-04, 1994.

  2. Victoria Hall

    Uncertainty-Valued Horn Clauses

    DFKI, DFKI Technical Memos (TM), Vol. 94-03, 1994.

  3. Rainer Bleisinger; Berthold Kröll

    Representation of Non-Convex Time Intervals and Propagation of Non-Convex Relations

    DFKI, DFKI Technical Memos (TM), Vol. 94-02, 1994.

  4. Rainer Bleisinger; Klaus-Peter Gores

    Text Skimming as a Part in Paper Document Understanding

    DFKI, DFKI Technical Memos (TM), Vol. 94-01, 1994.

  5. Otto Kühn; Björn Höfling

    Conserving Corporate Knowledge for Crankshaft Design

    DFKI, DFKI Research Reports (RR), Vol. 94-08, 1994.

  6. Harold Boley

    Finite Domains and Exclusions as First-Class Citizens

    DFKI, DFKI Research Reports (RR), Vol. 94-07, 1994.

  7. Dietmar Dengler

    An Adaptive Deductive Planning System

    DFKI, DFKI Research Reports (RR), Vol. 94-06, 1994.

  8. Franz Schmalhofer; J. Stuart Aitken; Lyle E. Bourne jr.

    Beyond the Knowledge Level: Descriptions of Rational Behavior for Sharing and Reuse

    DFKI, DFKI Research Reports (RR), Vol. 94-05, 1994.

  9. Gert Smolka

    A Calculus for Higher-Order Concurrent Constraint Programming with Deep Guards

    DFKI, DFKI Research Reports (RR), Vol. 94-03, 1994.

  10. Elisabeth Andre; Thomas Rist

    Von Textgeneratoren zu Intellimedia-Präsentationssystemen

    DFKI, DFKI Research Reports (RR), Vol. 94-02, 1994.