DFKI-LT - Publications

1996
 
Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
On Skolemization in Constrained Logics
in: Martin C. Golumbic (ed.):
Annals of Mathematics and Artificial Intelligence volume 18 number 2, Pages 95-131, Springer, Netherlands, 9/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 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
 
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, 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
 
1994
 
Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
Concept Logics with Function Symbols
in: Anthony G. Cohn (ed.):
Proceedings of the 11th European Conference on Artificial Intelligence, Pages 406-410, Amsterdam, Netherlands, J. Wiley, 1994
 
1993
 
Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
Concept Logics with Function Symbols
volume 93-07,
DFKI Research Reports, Pages 36Technical Report, DFKI GmbH, DFKI GmbH, 4/1993
 
Bernhard Hollunder
An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics
volume 93-01,
DFKI Research Reports, Pages 25Technical 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
 
Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
On Skolemization in Constrained Logis
volume 93-06,
DFKI Research Reports, Pages 40Technical Report, DFKI GmbH, DFKI GmbH, 1993
 
Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Jörg Siekmann
Projekt WINO: Wissens- und Inferenzobjektivierung
Abschlussbericht Technical Report, DFKI GmbH, 1993
 
Franz Baader, Bernhard Hollunder
Embedding Defaults into Terminological Knowledge Representation Formalisms
volume 93-20,
DFKI Research Reports, Pages 34Technical Report, DFKI, 1993
 
Franz Baader, Martin Buchheit, Bernhard Hollunder
Cardinality Restrictions on Concepts
volume 93-48,
DFKI Research Reports, Pages 20Technical Report, DFKI, 1993
 
Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems
volume 93-03,
DFKI Research Reports, Pages 28Technical Report, DFKI, 1993
 
1992
 
Jochen#Heinsohn, Bernhard#Hollunder (eds.)
DFKI Workshop on Taxonomic Reasoning Proceedings
volume 92-08,
DFKI Documents, Pages 56Technical Report, DFKI, 1992
 
Stephan Busemann
Lexical Choice and Knowledge Representation
in: Jochen#Heinsohn, Bernhard#Hollunder (eds.):
DFKI Workshop on Taxonomic Reasoning volume 92-08,
DFKI Documents, Pages 33-39, Saarbrücken, Germany, DFKI, 1992
 
Franz Baader, Bernhard Hollunder
How to Prefer More Specific Defaults in Terminological Default Logic
volume 92-58,
DFKI Research Reports, Pages 31Technical Report, DFKI, 1992
 
Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt
Terminologische Logik
KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. volume 92 number 3, Pages 23-33, Springer, 1992
 
1991
 
Erich Achilles, Bernhard Hollunder, Armin Laux, Jörg-Peter Mohren
KRIS : K-nowledge R-epresentation and I-nference S-ystem - Benutzerhandbuch
volume 91-14,
DFKI Documents, Pages 28Technical Report, DFKI, 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 (eds.):
Proceedings of the International Workshop on Terminological Logics volume 91-13,
DFKI Documents, Pages 120-128, Dagstuhl, Germany, DFKI GmbH, DFKI GmbH, 1991
 
Bernhard Hollunder, Franz Baader
Qualifying Number Restrictions in Concept Languages
volume 91-03,
DFKI Research Reports, Pages 34Technical Report, DFKI, 1991
 
Francesco Donini, Bernhard Hollunder, Maurizio Lenzerini, Alberto Marchetti Spaccamela, Daniele Nardi, Werner Nutt
The Complexity of Existential Quantification in Concept Languages
volume 91-02,
DFKI Research Reports, Pages 22Technical Report, DFKI, 1991
 
1990
 
Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Werner Nutt, Jörg Siekmann
Concept Logics
in: J.W. Lloyd (ed.):
Computational Logic volume 1,
ESPRIT Basic Research Series, Pages 177-201, Brussels, Belgium, Springer, 11/1990
 
Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Werner Nutt, Jörg Siekmann
Concept Logics
volume 90-10,
DFKI Research Reports, Pages 26Technical Report, DFKI, 1990
 
Franz Baader, Bernhard Hollunder
KRIS: K-nowledge R-epresentation and I-nference S-ystem -System Description-
volume 90-03,
DFKI Technical Memos, Pages 15Technical Report, DFKI, 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
volume 90-04,
DFKI Technical Memos, Pages 7Technical Report, DFKI GmbH, DFKI GmbH, 1990
 
Bernhard Hollunder, Werner Nutt
Subsumption Algorithms for Concept Languages
volume 90-04,
DFKI Research Reports, Pages 34Technical Report, DFKI, 1990
 
Bernhard Hollunder
Hybrid Inferences in KL-ONE-based Knowledge Representation Systems
volume 90-06,
DFKI Research Reports, Pages 21Technical Report, DFKI, 1990
 
Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Werner Nutt, Jörg Siekmann
Concept Logics
volume 90-10,
DFKI Research Reports, Pages 26,
Research Report Technical Report, DFKI GmbH, DFKI GmbH, 1990