Publikationen

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 71 bis 80 von 144

Gert Smolka; Ralf Treinen

Records for Logic Programming

DFKI, DFKI Research Reports (RR), Vol. 92-23, 1992.
Mathias Bauer; Susanne Biundo; Dietmar Dengler; Jana Koehler; Gabriele Paul

PHI - A Logic-Based Tool for Intelligent Help Systems

DFKI, DFKI Research Reports (RR), Vol. 92-52, 1992.
Hans-Jürgen Bürckert; Werner Nutt

On Abduction and Answer Generation through Constained Resolution

DFKI, DFKI Research Reports (RR), Vol. 92-51, 1992.
Christoph Klauck; Ralf Legleitner; Ansgar Bernardi

Heuristic Classification for Automated CAPP

DFKI, DFKI Research Reports (RR), Vol. 92-49, 1992.
Bernhard Nebel; Jana Koehler

Plan Modifications versus Plan Generation: A Complexity-Theoretic Perspective

DFKI, DFKI Research Reports (RR), Vol. 92-48, 1992.
Stefan Bussmann

Simulation Environment for Multi-Agent Worlds - Benutzeranleitung

DFKI, DFKI Documents (D), Vol. 92-01, 1992.
Harold Boley

A Direkt Semantic Characterization of RELFUN

DFKI, DFKI Research Reports (RR), Vol. 92-54, 1992.
Werner Stephan; Susanne Biundo

A New Logical Framework for Deductive Planning

DFKI, DFKI Research Reports (RR), Vol. 92-53, 1992.
Anne Kilger

Realization of Tree Adjoining Grammars with Unification

DFKI, DFKI Technical Memos (TM), Vol. 92-08, 1992.
Otto Kühn; Franz Schmalhofer

Hierarchical skeletal plan refinement: Task- and inference structures

DFKI, DFKI Technical Memos (TM), Vol. 92-06, 1992.