DFKI Publications by Hollunder, Bernhard

D-91-14

with Erich Achilles , Armin Laux , Jörg-Peter Mohren
: Knowledge Representation and Inference System - Benutzerhandbuch -

RR-90-04

with Werner Nutt
Subsumption Algorithms for Concept Languages

RR-90-06

Hybrid Inferences in KL-ONE-based Knowledge Representation Systems

RR-90-10

with Franz Baader , Hans-Jürgen Bürckert , Werner Nutt , Jörg H. Siekmann
Concept Logics

RR-91-02

with Francesco Donini , Maurizio Lenzerini , Alberto Marchetti Spaccamela , Daniele Nardi , Werner Nutt
The Complexity of Existential Quantification in Concept Languages

RR-91-03

with Franz Baader
Qualifying Number Restrictions in Concept Languages

RR-92-58

with Franz Baader
How to Prefer More Specific Defaults in Terminological Default Logic

RR-93-01

An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics

RR-93-03

with Franz Baader , Bernhard Nebel , Hans-Jürgen Profitlich , Enrico Franconi
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems

RR-93-06

with Hans-Jürgen Bürckert , Armin Laux
On Skolemization in Constrained Logics

RR-93-07

with Hans-Jürgen Bürckert , Armin Laux
Concept Logics with Function Symbols

RR-93-20

with Franz Baader
Embedding Defaults into Terminological Knowledge Representation Formalisms

RR-93-48

with Franz Baader , Martin Buchheit
Cardinality Restrictions on Concepts

RR-95-04

with M. Buchheit , H.-J. Bürckert , A. Laux , W. Nutt , M. Wójcik
Task Acquisition with a Description Logic Reasoner

TM-90-03

with Franz Baader
: Knowledge Representation and Inference System
-System Description-

TM-90-04

with Franz Baader , Hans-Jürgen Bürckert , Jochen Heinsohn , Jürgen Müller , Bernhard Nebel , Werner Nutt , Hans-Jürgen Profitlich
Terminological Knowledge Representation: A Proposal for a Terminological Logic

Edited:

D-92-08

with Jochen Heinsohn
DFKI Workshop on Taxonomic Reasoning Proceedings

Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.