Publikationen

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

Zeige Ergebnisse 61 bis 70 von 144

Philipp Hanschke; Knut Hinkelmann

Combining Terminological and Rule-based Reasoning for Abstraction Processes

DFKI, DFKI Research Reports (RR), Vol. 92-40, 1992.
Philipp Hanschke; Manfred Meyer

An Alternative to Θ-Subsumption Based on Terminological Reasoning

DFKI, DFKI Research Reports (RR), Vol. 92-38, 1992.
Philipp Hanschke

Specifying Role Interaction in Concept Languages

DFKI, DFKI Research Reports (RR), Vol. 92-37, 1992.
Franz Baader; Philipp Hanschke

Extensions of Concept Languages for a Mechanical Engineering Application

DFKI, DFKI Research Reports (RR), Vol. 92-36, 1992.
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.
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.