Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1994
Remove all filters
Displaying results 11 to 20 of 105.

  1. Georg Struth

    Philosophical Logics---A Survey and a Bibliography

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

  2. Gert Smolka

    A Foundation for Higher-order Concurrent Constraint Programming

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

  3. Manfred Meyer

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

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

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

  5. Harold Boley; Ulrich Buhrmann; Christof Kremer

    Towards a Sharable Knowledge Base on Recyclable Plastics

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

  6. Jana Koehler

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

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

  7. Hubert Comon; Ralf Treinen

    Ordering Constraints on Trees

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

  8. Knut Hinkelmann

    A Consequence Finding Approach for Feature Recognition in CAPP

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

  9. Knut Hinkelmann; Helge Hintze

    Computing Cost Estimates for Proof Strategies

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

  10. Franz Baader; Martin Buchheit; M.A. Jeusfeld; Werner Nutt (Hrsg.)

    Working Notes of the KI'94 Workshop: KRDB'94 - Reasoning about Structured Objects: Knowledge Representation Meets Databases

    DFKI, DFKI Documents (D), Vol. 94-11, 1994.

Year