Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 21 to 30 of 30.
  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. Manfred Meyer

    Issues in Concurrent Knowledge Engineering. Knowledge Base and Knowledge Share Evolution

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

  6. Winfried Graf; Stefan Neurohr

    Using Graphical Style and Visibility Constraints for a Meaningful Layout in Visual Programming Interfaces

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

  7. Harold Boley; Ulrich Buhrmann; Christof Kremer

    Towards a Sharable Knowledge Base on Recyclable Plastics

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

  8. Jana Koehler

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

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

  9. Hubert Comon; Ralf Treinen

    Ordering Constraints on Trees

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

  10. Knut Hinkelmann

    A Consequence Finding Approach for Feature Recognition in CAPP

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