Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1 bis 10 von 105.
  1. Klaus Fischer; Jörg P. Müller; Markus Pischel

    Unifying Control in a Layered Agent Architecture

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

  2. Cornelia Fischer

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

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

  3. Victoria Hall

    Uncertainty-Valued Horn Clauses

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

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

  5. Rainer Bleisinger; Klaus-Peter Gores

    Text Skimming as a Part in Paper Document Understanding

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

  6. Rolf Backofen

    A Complete Axiomatization of a Theory with Feature and Arity Constraints

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

  7. Franz Baader; Armin Laux

    Terminological Logics with Modal Operators

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

  8. Otto Kühn; Volker Becker; Georg Lohse; Philipp Neumann

    Integrated Knowledge Utilization and Evolution for the Conservation of Corporate Know-How

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

  9. Gert Smolka

    The Definition of Kernel Oz

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

  10. Christian Schulte; Gert Smolka; Jörg Würtz

    Encapsulated Search and Constraint Programming in Oz

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