DFKI Publications by Nutt, Werner

RR-90-04

with Bernhard Hollunder
Subsumption Algorithms for Concept Languages

RR-90-10

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

RR-90-16

with Franz Baader
Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification

RR-91-01

with Franz Baader , Hans-Jürgen Bürckert , Bernhard Nebel , Gert Smolka
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations

RR-91-02

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

RR-92-01

Unification in Monoidal Theories is Solving Linear Equations over Semirings

RR-92-51

with Hans-Jürgen Bürckert
On Abduction and Answer Generation through Constained Resolution

RR-93-40

with Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Andrea Schaerf
Queries, Rules and Definitions as Epistemic Statements in Concept Languages

RR-93-44

with Martin Buchheit , Manfred A. Jeusfeld , Martin Staudt
Subsumption between Queries to Object-Oriented Databases

RR-95-04

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

RR-95-07

with Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi
The Complexity of Concept Languages

RR-95-09

with M. Buchheit , F. M. Donini , A. Schaerf
A Refined Architecture for Terminological Systems:
Terminology = Schema + Views

TM-90-04

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

TM-95-01

with Martin Buchheit , Rüdiger Klein
Constructive Problem Solving: A Model Construction Approach towards Configuration

Edited:

D-93-25

with Hans-Jürgen Bürckert
Modeling Epistemic Propositions

D-94-10

with F. Baader , M. Lenzerini , P. F. Patel-Schneider (Eds.)
Working Notes of the 1994 International Workshop on Description Logics

D-94-11

with F. Baader , M. Buchheit , M. A. Jeusfeld
Working Notes of the KI'94 Workshop: KRDB'94 - Reasoning about Structured Objects: Knowledge Representation Meets Databases

D-95-12

with F. Baader , M. Buchheit , M. A. Jeusfeld
Working Notes of the KI'95 Workshop:
KRDB-95 - Reasoning about Structured Objects:
Knowledge Representation Meets Databases

D-96-04

with Franz Baader , Hans-Jürgen Bürckert , Andreas Günter
Proceedings of the Workshop on Knowledge Representation and Configuration WRKP'96

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.