Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 1995
Remove all filters
Displaying results 21 to 30 of 97.

  1. Klaus Schmid

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

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

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

  3. Michael Sintek

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

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

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

  5. Stephan Baumann; Michael Malburg; Hans-Günther Hein; Rainer Hoch; Thomas Kieninger; Norbert Kuhn

    Document Analysis at DFKI - Part 2: Information Extraction

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

  6. Majdi Ben Hadj Ali; Frank Fein; Frank Hönes; Thorsten Jäger; Achim Weigel

    Document Analysis at DFKI - Part 1: Image Analysis and Text Recognition

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

  7. Klaus Fischer; Jörg P. Müller; Markus Pischel

    Cooperative Transportation Scheduling an application Domain for DAI

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

  8. Rolf Backofen; James Rogers; K. Vijay-Shanker

    A First-Order Axiomatization of the Theory of Finite Trees

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

  9. Joachim Niehren

    Functional Computation as Concurrent Computation

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

  10. Werner Stephan; Susanne Biundo

    Deduction-based Refinement Planning

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

Year