Subsumption algorithms for some attributive concept description languages. - Bernhard Hollunder (1989)

Subsumption Algorithms for Concept Description Languages. - Bernhard Hollunder; Werner Nutt; Manfred Schmidt-Schauß (ECAI, 1990)

Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems. - Bernhard Hollunder (GWAI, 1990)

Terminological Knowledge Representation: A Proposal for a Terminological Logic. - Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller 008; Bernhard Nebel; Werner Nutt; Hans-Jürgen Profitlich (Description Logics, 1991)

Qualifying Number Restrictions in Concept Languages. - Bernhard Hollunder; Franz Baader (KR, 1991)

A Terminological Knowledge Representation System with Complete Inference Algorithms. - Franz Baader; Bernhard Hollunder (PDK, 1991)

Second International Conference: Principles of Knowledge Representation and Reasoning - KR'91. - Bernhard Hollunder; Bernhard Nebel (Künstliche Intell., 1991)

KRIS: Knowledge Representation and Inference System. - Franz Baader; Bernhard Hollunder (SIGART Bull., 1991)

Computing Extensions of Terminological Default Theories. - Franz Baader; Bernhard Hollunder (ECAI Workshop on Knowledge Representation and Reasoning, 1992)

An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. - Franz Baader; Bernhard Hollunder; Bernhard Nebel; Hans-Jürgen Profitlich; Enrico Franconi (KR, 1992)

The Complexity of Existential Quantification in Concept Languages. - Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Bernhard Hollunder; Werner Nutt; Alberto Marchetti-Spaccamela (Artif. Intell., 1992)

Terminologische Logiken. - Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt (Künstliche Intell., 1992)

How to Prefer More Specific Defaults in Terminological Default Logic. - Franz Baader; Bernhard Hollunder (IJCAI, 1993)

"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht. - Franz Baader; Philipp Hanschke; Bernhard Hollunder; Bernhard Nebel; Werner Nutt (Künstliche Intell., 1993)

Concept Logics with Function Symbols. - Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux (ECAI, 1994)

Am empirical analysis of optimization techniques for terminological representation systems. - Franz Baader; Bernhard Hollunder; Bernhard Nebel; Hans-Jürgen Profitlich; Enrico Franconi (Appl. Intell., 1994)

Algorithmic foundations of terminological knowledge representation systems. - Bernhard Hollunder (1994)

Task Acquisition with a Description Logic Reasoner. - Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Marek Wójcik (KI, 1995)

An alternative proof method for possibilistic logic and its application to terminological logics. - Bernhard Hollunder (Int. J. Approx. Reason., 1995)

Embedding Defaults into Terminological Knowledge Representation Formalisms. - Franz Baader; Bernhard Hollunder (J. Autom. Reason., 1995)

Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic. - Franz Baader; Bernhard Hollunder (J. Autom. Reason., 1995)

Cardinality Restrictions on Concepts. - Franz Baader; Martin Buchheit; Bernhard Hollunder (Artif. Intell., 1996)

On Skolemization in Constrained Logics. - Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux (Ann. Math. Artif. Intell., 1996)

Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems. - Bernhard Hollunder (Ann. Math. Artif. Intell., 1996)

Domain-Specific Processing of Policies or: WS-Policy Intersection Revisited. - Bernhard Hollunder (ICWS, 2009)

WS-Policy: On Conditional and Custom Assertions. - Bernhard Hollunder (ICWS, 2009)

Quality of Service Attributes in Web Services. - Ahmed Al-Moayed; Bernhard Hollunder (ICSEA, 2010)

Tool Chains in Agile ALM Environments: A Short Introduction. - Saed Imran; Martin Buchheit; Bernhard Hollunder; Ulf Schreier (OTM Workshops, 2015)