|
|
Publikationen von Bernhard Hollunder
1996
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 (Hrsg.). KI'95: Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence. Pages 125-136, Lecture Notes In Computer Science (LNCS), Vol. 981, ISBN 3-540-60343-3, Springer-Verlag, London, UK, 1995.
- Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Marek Wójcik
Task Acquisition with a Description Logic Reasoner.
Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 95-04, 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 (Hrsg.). Proceedings of the 1995 International Workshop on Description Logics. DL-1995, June 2-3, University "La Sapienza", Rome, Italy, Pages 99-105, Research Reports, Vol. RAP 07.95, 1995.
1994
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 (Hrsg.). Proceedings of AKI-Workshop "Wissensrepräsentation". Bonn, Germany, 1993.
- Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux
Concept Logics with Function Symbols.
DFKI GmbH, DFKI Research Reports (RR), Vol. 93-07, 4/1993.
- Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux
On Skolemization in Constrained Logis.
DFKI GmbH, DFKI Research Reports (RR), Vol. 93-06, 1993.
- Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Jörg Siekmann
Projekt WINO: Wissens- und Inferenzobjektivierung.
Abschlussbericht, 1993.
- Bernhard Hollunder
An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics.
DFKI, DFKI Research Reports (RR), Vol. 93-01, 1993.
- Franz Baader; Bernhard Hollunder; Bernhard Nebel; Hans-Jürgen Profitlich; Enrico Franconi
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems.
DFKI, DFKI Research Reports (RR), Vol. 93-03, 1993.
- Franz Baader; Bernhard Hollunder
Embedding Defaults into Terminological Knowledge Representation Formalisms.
DFKI, DFKI Research Reports (RR), Vol. 93-20, 1993.
- Franz Baader; Martin Buchheit; Bernhard Hollunder
Cardinality Restrictions on Concepts.
DFKI, DFKI Research Reports (RR), Vol. 93-48, 1993.
1992
- Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt
Terminologische Logik.
In: Künstliche Intelligenz, Vol. 92, No. 3, Pages 23-33, 1992.
- Stephan Busemann
Lexical Choice and Knowledge Representation.
In: Jochen Heinsohn; Bernhard Hollunder (Hrsg.). DFKI Workshop on Taxonomic Reasoning. DFKI Workshops, February 26, Saarbrücken, Germany, Pages 33-39, DFKI Documents (D), Vol. 92-08, DFKI, 1992.
- Jochen Heinsohn; Bernhard Hollunder (Hrsg.)
DFKI Workshop on Taxonomic Reasoning Proceedings.
DFKI, DFKI Documents (D), Vol. 92-08, 1992.
- Franz Baader; Bernhard Hollunder
How to Prefer More Specific Defaults in Terminological Default Logic.
DFKI, DFKI Research Reports (RR), Vol. 92-58, 1992.
1991
- Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Werner Nutt; Hans-Jürgen Profitlich
Terminological Knowledge Representation: A Proposal for a Terminological Logic.
In: Kai von Luck; Christoph Peltason; Bernhard Nebel (Hrsg.). Proceedings of the International Workshop on Terminological Logics. International Workshop on Terminological Logics, March 6-8, Dagstuhl, Germany, Pages 120-128, DFKI Documents (D), Vol. 91-13, DFKI GmbH, 1991.
- Erich Achilles; Bernhard Hollunder; Armin Laux; Jörg-Peter Mohren
KRIS : K-nowledge R-epresentation and I-nference S-ystem - Benutzerhandbuch.
DFKI, DFKI Documents (D), Vol. 91-14, 1991.
- Francesco Donini; Bernhard Hollunder; Maurizio Lenzerini; Alberto Marchetti Spaccamela; Daniele Nardi; Werner Nutt
The Complexity of Existential Quantification in Concept Languages.
DFKI, DFKI Research Reports (RR), Vol. 91-02, 1991.
- Bernhard Hollunder; Franz Baader
Qualifying Number Restrictions in Concept Languages.
DFKI, DFKI Research Reports (RR), Vol. 91-03, 1991.
1990
- Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann
Concept Logics.
In: J.W. Lloyd (Hrsg.). Computational Logic. Symposium on Computational Logic, located at 7th ESPRIT Conference, November 13-14, Brussels, Belgium, Pages 177-201, ESPRIT Basic Research Series, Vol. 1, Springer, 11/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.
- 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.
- Bernhard Hollunder; Werner Nutt
Subsumption Algorithms for Concept Languages.
DFKI, DFKI Research Reports (RR), Vol. 90-04, 1990.
- Bernhard Hollunder
Hybrid Inferences in KL-ONE-based Knowledge Representation Systems.
DFKI, DFKI Research Reports (RR), Vol. 90-06, 1990.
- Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann
Concept Logics.
DFKI, DFKI Research Reports (RR), Vol. 90-10, 1990.
- Franz Baader; Bernhard Hollunder
KRIS: K-nowledge R-epresentation and I-nference S-ystem -System Description-.
DFKI, DFKI Technical Memos (TM), Vol. 90-03, 1990.
|
|
