Skip to main content Skip to main navigation

Publikationen

 

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

Aktive Filter:

Jahr: 1993
Alle Filter entfernen
Zeige Ergebnisse 21 bis 30 von 59

  1. Michael Sintek

    Indexing PROLOG Procedures into DAGs by Heuristic Classification

    DFKI, DFKI Technical Memos (TM), Vol. 93-05, 1993.

  2. Hans-Günther Hein

    Propagation Techniques in WAM-based Architectures --- The FIDO-III Approach

    DFKI, DFKI Technical Memos (TM), Vol. 93-04, 1993.

  3. Harold Boley; Ulrich Buhrmann; Christof Kremer

    Konzeption einer deklarativen Wissensbasis über recyclingrelevante Materialien

    DFKI, DFKI Technical Memos (TM), Vol. 93-03, 1993.

  4. Pierre Sablayrolles; Achim Schupeta

    Conflict Resolving Negotiation for COoperative Schedule Management Agents (COSMA)

    DFKI, DFKI Technical Memos (TM), Vol. 93-02, 1993.

  5. Otto Kühn; Andreas Birk

    Reconstructive Integrated Explanation of Lathe Production Plans

    DFKI, DFKI Technical Memos (TM), Vol. 93-01, 1993.

  6. Franz Baader; Bernhard Hollunder

    Embedding Defaults into Terminological Knowledge Representation Formalisms

    DFKI, DFKI Research Reports (RR), Vol. 93-20, 1993.

  7. Klaus Schild

    Terminological Cycles and the Propositional μ-Calculus

    DFKI, DFKI Research Reports (RR), Vol. 93-18, 1993.

  8. Gert Smolka; Martin Henz; Jörg Würtz

    Object-Oriented Concurrent Constraint Programming in Oz

    DFKI, DFKI Research Reports (RR), Vol. 93-16, 1993.

  9. Frank Berger; Thomas Fehrle; Kristof Klöckner; Volker Schölles; Markus A. Thies; Wolfgang Wahlster

    PLUS - Plan-based User Support Final Project Report

    DFKI, DFKI Research Reports (RR), Vol. 93-15, 1993.

  10. Joachim Niehren; Andreas Podelski; Ralf Treinen

    Equational and Membership Constraints for Infinite Trees

    DFKI, DFKI Research Reports (RR), Vol. 93-14, 1993.

Jahr