Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1995
Remove all filters
Displaying results 11 to 20 of 52.

  1. Volker Ehresmann

    Integration ressourcen-orientierter Techniken in das wissensbasierte Konfigurierungssystem TOOCON

    DFKI, DFKI Documents (D), Vol. 95-10, 1995.

  2. Antonio Krüger

    PROXIMA: Ein System zur Generierung graphischer Abstraktionen

    DFKI, DFKI Documents (D), Vol. 95-09, 1995.

  3. Klaus Schmid

    Creative Problem Solving and Automated Discovery --- An Analysis of Psychological and AI Research

    DFKI, DFKI Technical Memos (TM), Vol. 95-04, 1995.

  4. Andreas Abecker; Harold Boley; Knut Hinkelmann; Holger Wache; Franz Schmalhofer

    An Environment for Exploring and Validating Declarative Knowledge

    DFKI, DFKI Technical Memos (TM), Vol. 95-03, 1995.

  5. Michael Sintek

    FLIP: Functional-plus-Logic Programming on an Integrated Platform

    DFKI, DFKI Technical Memos (TM), Vol. 95-02, 1995.

  6. Martin Buchheit; Rüdiger Klein; Werner Nutt

    Constructive Problem Solving: A Model Construction Approach towards Configuration

    DFKI, DFKI Technical Memos (TM), Vol. 95-01, 1995.

  7. Joachim Niehren

    Functional Computation as Concurrent Computation

    DFKI, DFKI Research Reports (RR), Vol. 95-14, 1995.

  8. Werner Stephan; Susanne Biundo

    Deduction-based Refinement Planning

    DFKI, DFKI Research Reports (RR), Vol. 95-13, 1995.

  9. Walter Hower; Winfried Graf

    Research in Constraint-Based Layout, Visualization, CAD, and Related Topics: A Bibliographical Survey

    DFKI, DFKI Research Reports (RR), Vol. 95-12, 1995.

  10. Anne Kilger; Wolfgang Finkler

    Incremental Generation for Real-Time Applications

    DFKI, DFKI Research Reports (RR), Vol. 95-11, 1995.

Year