DFKI-LT - Publications

1996
 
Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt
Projekt TACOS: Taxonomies and Common Sense
Abschlussbericht Technical Report, DFKI GmbH, 1996
 
1995
 
Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik
Task Acquisition with a Descriptin Logic Reasoner
in: A. Borgida, M. Lenzerini, D. Nardi, B. Nebel (eds.):
Proceedings of the 1995 International Workshop on Description Logics volume RAP 07.95,
Research Reports, Pages 99-105, University "La Sapienza", Rome, Italy, o.A., 1995
 
Martin Buchheit, Rüdiger Klein, Werner Nutt
Constructive Problem Solving: A Model Construction Approach towards Configuration
volume 95-01,
DFKI Technical Memos, Pages 34Technical Report, DFKI, 1995
 
Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik
Task Acquisition with a Description Logic Reasoner
volume 95-04,
DFKI Research Reports, Pages 17,
Research Report Technical Report, DFKI GmbH, DFKI GmbH, 1995
 
Martin Buchheit, F. M. Donini, Werner Nutt, A. Schaerf
A Refined Architecture for Terminological Systems: Terminology = Schema + Views
volume 95-09,
DFKI Research Reports, Pages 71Technical Report, DFKI, 1995
 
Franz#Baader, Martin#Buchheit, M.A. Jeusfeld, Werner Nutt (eds.)
Working Notes of the KI'95 Workshop: KRDB-95 - Reasoning about Structured Objects: Knowledge Representation Meets Databases
volume 95-12,
DFKI Documents, Pages 61Technical Report, DFKI, 1995
 
Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik
Task Acquisition with a Description Logic Reasoner
in: Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer (eds.):
KI'95: Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence volume 981,
Lecture Notes In Computer Science, Pages 125-136, Springer-Verlag, London, UK, 1995
 
1994
 
Franz#Baader, Martin#Buchheit, M.A. Jeusfeld, Werner Nutt (eds.)
Working Notes of the KI'94 Workshop: KRDB'94 - Reasoning about Structured Objects: Knowledge Representation Meets Databases
volume 94-11,
DFKI Documents, Pages 65Technical Report, DFKI, 1994
 
1993
 
Martin Buchheit, Francesco M. Donini, Andrea Schaerf
Decidable Reasoning in Terminological Knowledge Representation Systems
volume 93-10,
DFKI Research Reports, Pages 35Technical Report, DFKI, 1993
 
Franz Baader, Martin Buchheit, Bernhard Hollunder
Cardinality Restrictions on Concepts
volume 93-48,
DFKI Research Reports, Pages 20Technical Report, DFKI, 1993
 
Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt
The Knowledge Representation System Specification: Ein Ansatz zur Standardisierung terminologischer Wissensrepräsentationsformalismen
in: A. B. Cremers, G. Lakemeyer (eds.):
Proceedings of AKI-Workshop "Wissensrepräsentation", Bonn, Germany, o.A., 1993
 
Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt
Subsumption between Queries to Object-Oriented Databases
volume 93-44,
DFKI Research Reports, Pages 36Technical Report, DFKI, 1993
 
1992
 
Martin Buchheit
Klassische Kommunikations- und Koordinationsmodelle
volume 92-25,
DFKI Documents, Pages 31Technical Report, DFKI, 1992