Publikationen

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

Zeige Ergebnisse 51 bis 60 von 86

Armin Laux

Integrating a Modal Logic of Knowledge into Terminological Logics

DFKI, DFKI Research Reports (RR), Vol. 92-56, 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.
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.
Michael Herfert

Parsen und Generieren der Prolog-artigen Syntax von RELFUN

DFKI, DFKI Documents (D), Vol. 92-23, 1992.
Werner Stein

Indexing Principles for Relational Languages Applied to PROLOG Code Generation

DFKI, DFKI Documents (D), Vol. 92-22, 1992.
Anne Schauder

Incremental Syntactic Generation of Natural Language with Tree Adjoining Grammars

DFKI, DFKI Documents (D), Vol. 92-21, 1992.
Stefan Dittrich; Rainer Hoch

Automatische, Deskriptor-basierte Unterstützung der Dokumentanalyse zur Fokussierung und Klassifizierung von Geschäftsbriefen

DFKI, DFKI Documents (D), Vol. 92-19, 1992.
Klaus Becker

Verfahren der automatisierten Diagnose technischer Systeme

DFKI, DFKI Documents (D), Vol. 92-18, 1992.