Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 31 bis 40 von 105
  1. Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux

    Concept Logics with Function Symbols

    In: Anthony G. Cohn (Hrsg.). Proceedings of the 11th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence …

  2. ARC--TEC: Wissensbasierte Systeme zur Unterstützung des Fertigungsprozesses --- Ein gesamthafter Ansatz

    Vortrag vor der G.U.I.D.E. AG Knowledge Based Applications, Braunschweig, 1/1994.

  3. PIM - Planning in Manufacturing. Ein featurebasiertes Arbeitsplanungssystem

    In: Workshop Feature Technology in Design and Manufacturing. Workshop Feature Technology in Design and Manufacturing, August 29-30, Saarbrücken, …

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

  5. Cornelia Fischer

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

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

  6. Victoria Hall

    Uncertainty-Valued Horn Clauses

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

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

  8. Rainer Bleisinger; Klaus-Peter Gores

    Text Skimming as a Part in Paper Document Understanding

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

  9. Rolf Backofen

    A Complete Axiomatization of a Theory with Feature and Arity Constraints

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

  10. Franz Baader; Armin Laux

    Terminological Logics with Modal Operators

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