Publikationen

Aktive Filter:

Zeige Ergebnisse 11 bis 20 von 58.

Susanne Biundo

Plan Generation Using a Method of Deductive Program Synthesis

DFKI, DFKI Research Reports (RR), Vol. 90-09, 1990.
Elisabeth Andre; Thomas Rist

Wissensbasierte Informationspräsentation: Zwei Beiträge zum Fachgespräch Graphik und KI 1. Ein planbasierter Ansatz zur Synthese illustrierter Dokumente 2. Wissensbasierte Perspektivenwahl für die automatische Erzeugung von 3D-Objektdarstellungen

DFKI, DFKI Research Reports (RR), Vol. 90-07, 1990.
Bernhard Hollunder

Hybrid Inferences in KL-ONE-based Knowledge Representation Systems

DFKI, DFKI Research Reports (RR), Vol. 90-06, 1990.
Franz Baader

A Formal Definition for the Expressive Power of Knowledge Representation Languages

DFKI, DFKI Research Reports (RR), Vol. 90-05, 1990.
Bernhard Hollunder; Werner Nutt

Subsumption Algorithms for Concept Languages

DFKI, DFKI Research Reports (RR), Vol. 90-04, 1990.
Franz Baader

Terminological Cycles in KL-ONE-based Knowledge Representation Languages

DFKI, DFKI Research Reports (RR), Vol. 90-01, 1990.
Hans-Jürgen Bürckert

A Resolution Principle for Clauses with Constraints

DFKI, DFKI Research Reports (RR), Vol. 90-02, 1990.
Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann

Concept Logics

Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 90-10, 1990.
Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Bernhard Nebel; Werner Nutt; Hans-Jürgen Profitlich

Terminological Knowledge Representation: A Proposal for a Terminological Logic

DFKI GmbH, DFKI Technical Memos (TM), Vol. 90-04, 1990.
Andreas Dengel; N. M. Mattos; B. Mitschang

An Integrated Document Management System

In: Mohan M. Trivedi (Hrsg.). Proceedings SPIE/IEEE - Applications of Artificial Intelligence VIII. IEEE - Applications of Artificial Intelligence, VIII, April 16, Orlando, FL, USA, Pages 368-379, Vol. 1293, SPIE, 4/1990.