Publikationen

Aktive Filter:

Zeige Ergebnisse 1 bis 6 von 97

Klaus Schmid

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

DFKI, DFKI Technical Memos (TM), Vol. 95-04, 1995.
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.
Michael Sintek

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

DFKI, DFKI Technical Memos (TM), Vol. 95-02, 1995.
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.
Franz Baader; Martin Buchheit; M.A. Jeusfeld; Werner Nutt (Hrsg.)

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

DFKI, DFKI Documents (D), Vol. 95-12, 1995.
Volker Ehresmann

Integration ressourcen-orientierter Techniken in das wissensbasierte Konfigurierungssystem TOOCON

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