Publikationen

Constraint-basierte Plazierung in multimodalen Dokumenten am Beispiel des Layout-Managers in WIP..

Mastersthesis, Department of Computer Science, 1992.

Klaus-Dieter Althoff; Stefan Wess; Brigitte Bartsch-Spörl; Dietmar Janetzko; Frank Maurer; Angie Voss

Fallbasiertes Schließen in Expertensystemen: Welche Rolle spielen Fälle für wissensbasierte Systeme?

In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 1992, No. 4, Pages 14-21, FBO-Verlag, 1992.

Harold Boley

Extended Logic-plus-Functional Programming

DFKI, DFKI Research Reports (RR), Vol. 92-03, 1992.

Werner Nutt

Unification in Monoidal Theories is Solving Linear Equations over Semirings

DFKI, DFKI Research Reports (RR), Vol. 92-01, 1992.

Hassan Aït-Kaci; Andreas Podelski; Gert Smolka

A Feature-based Constraint System for Logic Programming with Entailment

DFKI, DFKI Research Reports (RR), Vol. 92-17, 1992.

Jochen Heinsohn; Daniel Kudenko; Bernhard Nebel; Hans-Jürgen Profitlich

An Empirical Analysis of Terminological Representation Systems

DFKI, DFKI Research Reports (RR), Vol. 92-16, 1992.

Winfried Graf

Constraint-Based Graphical Layout of Multimodal Presentations

DFKI, DFKI Research Reports (RR), Vol. 92-15, 1992.

Markus A. Thies; Thomas Fehrle; Frank Berger

Intelligent User Support in Graphical User Interfaces: 1. InCome: A System to Navigate through Interactions and Plans 2. Plan-Based Graphical Help in Object-Oriented User Interfaces

DFKI, DFKI Research Reports (RR), Vol. 92-14, 1992.

Jörg Würtz

Unifying Cycles

DFKI, DFKI Research Reports (RR), Vol. 92-22, 1992.

Jörg-Peter Mohren; Jürgen Müller

Representing Spatial Relations (Part II) -The Geometrical Approach

DFKI, DFKI Research Reports (RR), Vol. 92-21, 1992.