Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1 bis 10 von 105.
  1. Jana Koehler

    Correct Modification of Complex Plans

    In: A. G. Cohn (Hrsg.). European Conference on Artificial Intelligence (ECAI) 1994. European Conference on Artificial Intelligence (ECAI-1994), located at European Conference on Artificial Intelligence, August 8-12, Amsterdam, Netherlands, Pages 605-609, ISBN 0471950696, 9780471950691, Wiley, 1994.

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

  3. Cornelia Fischer

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

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

  4. Victoria Hall

    Uncertainty-Valued Horn Clauses

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

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

  6. Rainer Bleisinger; Klaus-Peter Gores

    Text Skimming as a Part in Paper Document Understanding

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

  7. Jana Koehler

    Planning from Second Principles---A Logic-based Approach

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

  8. Hubert Comon; Ralf Treinen

    Ordering Constraints on Trees

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

  9. Knut Hinkelmann

    A Consequence Finding Approach for Feature Recognition in CAPP

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

  10. Knut Hinkelmann; Helge Hintze

    Computing Cost Estimates for Proof Strategies

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