Search the dblp DataBase
Bernhard Hollunder: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß
Subsumption Algorithms for Concept Description Languages. [Citation Graph (5, 0)][DBLP]
ECAI, 1990, pp:348-353 [Conf] - Franz Baader, Bernhard Hollunder
A Terminological Knowledge Representation System with Complete Inference Algorithms. [Citation Graph (3, 0)][DBLP]
PDK, 1991, pp:67-86 [Conf] - Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt, Alberto Marchetti-Spaccamela
The Complexity of Existential Quantification in Concept Languages. [Citation Graph (2, 0)][DBLP]
Artif. Intell., 1992, v:53, n:2-3, pp:309-327 [Journal] - 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. [Citation Graph (1, 0)][DBLP]
KR, 1992, pp:270-281 [Conf] - Franz Baader, Bernhard Hollunder
KRIS: Knowledge Representation and Inference System. [Citation Graph (1, 0)][DBLP]
SIGART Bulletin, 1991, v:2, n:3, pp:8-14 [Journal] - 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. [Citation Graph (0, 0)][DBLP]
Description Logics, 1991, pp:120-128 [Conf] - Franz Baader, Bernhard Hollunder
Computing Extensions of Terminological Default Theories. [Citation Graph (0, 0)][DBLP]
ECAI Workshop on Knowledge Representation and Reasoning, 1992, pp:30-52 [Conf] - Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
Concept Logics with Function Symbols. [Citation Graph (0, 0)][DBLP]
ECAI, 1994, pp:406-410 [Conf] - Franz Baader, Bernhard Hollunder
How to Prefer More Specific Defaults in Terminological Default Logic. [Citation Graph (0, 0)][DBLP]
IJCAI, 1993, pp:669-675 [Conf] - Franz Baader, Martin Buchheit, Bernhard Hollunder
Cardinality Restrictions on Concepts. [Citation Graph (0, 0)][DBLP]
KI, 1994, pp:51-62 [Conf] - Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik
Task Acquisition with a Description Logic Reasoner. [Citation Graph (0, 0)][DBLP]
KI, 1995, pp:125-136 [Conf] - Bernhard Hollunder
Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems. [Citation Graph (0, 0)][DBLP]
GWAI, 1990, pp:38-47 [Conf] - Franz Baader, Bernhard Hollunder
Embedding Defaults into Terminological Knowledge Representation Formalisms. [Citation Graph (0, 0)][DBLP]
KR, 1992, pp:306-317 [Conf] - Bernhard Hollunder, Franz Baader
Qualifying Number Restrictions in Concept Languages. [Citation Graph (0, 0)][DBLP]
KR, 1991, pp:335-346 [Conf] - Bernhard Hollunder
An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics. [Citation Graph (0, 0)][DBLP]
UAI, 1994, pp:327-335 [Conf] - Franz Baader, Martin Buchheit, Bernhard Hollunder
Cardinality Restrictions on Concepts. [Citation Graph (0, 0)][DBLP]
Artif. Intell., 1996, v:88, n:1-2, pp:195-213 [Journal] - Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
On Skolemization in Constrained Logics. [Citation Graph (0, 0)][DBLP]
Ann. Math. Artif. Intell., 1996, v:18, n:2-4, pp:95-131 [Journal] - Bernhard Hollunder
Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems. [Citation Graph (0, 0)][DBLP]
Ann. Math. Artif. Intell., 1996, v:18, n:2-4, pp:133-157 [Journal] - Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi
Am empirical analysis of optimization techniques for terminological representation systems. [Citation Graph (0, 0)][DBLP]
Appl. Intell., 1994, v:4, n:2, pp:109-132 [Journal] - Bernhard Hollunder
An alternative proof method for possibilistic logic and its application to terminological logics. [Citation Graph (0, 0)][DBLP]
Int. J. Approx. Reasoning, 1995, v:12, n:2, pp:85-109 [Journal] - Franz Baader, Bernhard Hollunder
Embedding Defaults into Terminological Knowledge Representation Formalisms. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 1995, v:14, n:1, pp:149-180 [Journal] - Franz Baader, Bernhard Hollunder
Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 1995, v:15, n:1, pp:41-68 [Journal] - Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt
Terminologische Logiken. [Citation Graph (0, 0)][DBLP]
KI, 1992, v:6, n:3, pp:23-33 [Journal] - Franz Baader, Philipp Hanschke, Bernhard Hollunder, Bernhard Nebel, Werner Nutt
``Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)'' - Tagungsbericht. [Citation Graph (0, 0)][DBLP]
KI, 1993, v:7, n:3, pp:24-25 [Journal] - Bernhard Hollunder, Bernhard Nebel
Second International Conference: Principles of Knowledge Representation and Reasoning - KR'91. [Citation Graph (0, 0)][DBLP]
KI, 1991, v:5, n:3, pp:26-27 [Journal] - Bernhard Hollunder, Bernhard Nebel
Second International Conference on Principles of Knowledge Representation and Reasoning (KR '91). [Citation Graph (0, 0)][DBLP]
KI, 1992, v:6, n:3, pp:52-53 [Journal]
Domain-Specific Processing of Policies or: WS-Policy Intersection Revisited. [Citation Graph (, )][DBLP]
WS-Policy: On Conditional and Custom Assertions. [Citation Graph (, )][DBLP]
Search in 0.042secs, Finished in 0.045secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002