| 1996 |
|---|
| 26 | | Bernhard Hollunder:
Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems.
Ann. Math. Artif. Intell. 18(2-4): 133-157 (1996) |
| 25 | | Hans-Jürgen Bürckert,
Bernhard Hollunder,
Armin Laux:
On Skolemization in Constrained Logics.
Ann. Math. Artif. Intell. 18(2-4): 95-131 (1996) |
| 24 | EE | Franz Baader,
Martin Buchheit,
Bernhard Hollunder:
Cardinality Restrictions on Concepts.
Artif. Intell. 88(1-2): 195-213 (1996) |
| 1995 |
|---|
| 23 | | Martin Buchheit,
Hans-Jürgen Bürckert,
Bernhard Hollunder,
Armin Laux,
Werner Nutt,
Marek Wójcik:
Task Acquisition with a Description Logic Reasoner.
KI 1995: 125-136 |
| 22 | EE | Bernhard Hollunder:
An alternative proof method for possibilistic logic and its application to terminological logics.
Int. J. Approx. Reasoning 12(2): 85-109 (1995) |
| 21 | | Franz Baader,
Bernhard Hollunder:
Embedding Defaults into Terminological Knowledge Representation Formalisms.
J. Autom. Reasoning 14(1): 149-180 (1995) |
| 20 | | Franz Baader,
Bernhard Hollunder:
Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic.
J. Autom. Reasoning 15(1): 41-68 (1995) |
| 1994 |
|---|
| 19 | | Hans-Jürgen Bürckert,
Bernhard Hollunder,
Armin Laux:
Concept Logics with Function Symbols.
ECAI 1994: 406-410 |
| 18 | | Franz Baader,
Martin Buchheit,
Bernhard Hollunder:
Cardinality Restrictions on Concepts.
KI 1994: 51-62 |
| 17 | EE | Bernhard Hollunder:
An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics.
UAI 1994: 327-335 |
| 16 | EE | Franz Baader,
Bernhard Hollunder,
Bernhard Nebel,
Hans-Jürgen Profitlich,
Enrico Franconi:
Am empirical analysis of optimization techniques for terminological representation systems.
Appl. Intell. 4(2): 109-132 (1994) |
| 1993 |
|---|
| 15 | | Franz Baader,
Bernhard Hollunder:
How to Prefer More Specific Defaults in Terminological Default Logic.
IJCAI 1993: 669-675 |
| 14 | | Franz Baader,
Philipp Hanschke,
Bernhard Hollunder,
Bernhard Nebel,
Werner Nutt:
``Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)'' - Tagungsbericht.
KI 7(3): 24-25 (1993) |
| 1992 |
|---|
| 13 | | Franz Baader,
Bernhard Hollunder:
Computing Extensions of Terminological Default Theories.
ECAI Workshop on Knowledge Representation and Reasoning 1992: 30-52 |
| 12 | | Franz Baader,
Bernhard Hollunder,
Bernhard Nebel,
Hans-Jürgen Profitlich,
Enrico Franconi:
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On.
KR 1992: 270-281 |
| 11 | | Franz Baader,
Bernhard Hollunder:
Embedding Defaults into Terminological Knowledge Representation Formalisms.
KR 1992: 306-317 |
| 10 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Bernhard Hollunder,
Werner Nutt,
Alberto Marchetti-Spaccamela:
The Complexity of Existential Quantification in Concept Languages.
Artif. Intell. 53(2-3): 309-327 (1992) |
| 9 | | Franz Baader,
Hans-Jürgen Bürckert,
Bernhard Hollunder,
Armin Laux,
Werner Nutt:
Terminologische Logiken.
KI 6(3): 23-33 (1992) |
| 8 | | Bernhard Hollunder,
Bernhard Nebel:
Second International Conference on Principles of Knowledge Representation and Reasoning (KR '91).
KI 6(3): 52-53 (1992) |
| 1991 |
|---|
| 7 | | 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.
Description Logics 1991: 120-128 |
| 6 | | Bernhard Hollunder,
Franz Baader:
Qualifying Number Restrictions in Concept Languages.
KR 1991: 335-346 |
| 5 | | Franz Baader,
Bernhard Hollunder:
A Terminological Knowledge Representation System with Complete Inference Algorithms.
PDK 1991: 67-86 |
| 4 | | Bernhard Hollunder,
Bernhard Nebel:
Second International Conference: Principles of Knowledge Representation and Reasoning - KR'91.
KI 5(3): 26-27 (1991) |
| 3 | | Franz Baader,
Bernhard Hollunder:
KRIS: Knowledge Representation and Inference System.
SIGART Bulletin 2(3): 8-14 (1991) |
| 1990 |
|---|
| 2 | | Bernhard Hollunder,
Werner Nutt,
Manfred Schmidt-Schauß:
Subsumption Algorithms for Concept Description Languages.
ECAI 1990: 348-353 |
| 1 | | Bernhard Hollunder:
Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems.
GWAI 1990: 38-47 |
