Publikationen

Zeige Ergebnisse 11 bis 20 von 97.

Joachim Niehren

Functional Computation as Concurrent Computation

DFKI, DFKI Research Reports (RR), Vol. 95-14, 1995.
Werner Stephan; Susanne Biundo

Deduction-based Refinement Planning

DFKI, DFKI Research Reports (RR), Vol. 95-13, 1995.
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.
Anne Kilger; Wolfgang Finkler

Incremental Generation for Real-Time Applications

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

The Oz Programming Model

DFKI, DFKI Research Reports (RR), Vol. 95-10, 1995.
Martin Buchheit; F. M. Donini; Werner Nutt; A. Schaerf

A Refined Architecture for Terminological Systems: Terminology = Schema + Views

DFKI, DFKI Research Reports (RR), Vol. 95-09, 1995.
Michael Mehl; Ralf Scheidhauer; Christian Schulte

An Abstract Machine for Oz

DFKI, DFKI Research Reports (RR), Vol. 95-08, 1995.
Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Werner Nutt

The Complexity of Concept Languages

DFKI, DFKI Research Reports (RR), Vol. 95-07, 1995.
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.