Bernhard Hollunder

Publication Activity (10 Years)

Years Active: 1990-2015
Publications (10 Years): 1

Top Venues

CoRR

OTM Workshops

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Saed Imran, Martin Buchheit, Bernhard Hollunder, Ulf Schreier
Tool Chains in Agile ALM Environments: A Short Introduction. OTM Workshops (2015)
Bernhard Hollunder
An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics CoRR (2013)
Ahmed Al-Moayed, Bernhard Hollunder
Quality of Service Attributes in Web Services. ICSEA (2010)
Bernhard Hollunder
Domain-Specific Processing of Policies or: WS-Policy Intersection Revisited. ICWS (2009)
Bernhard Hollunder
WS-Policy: On Conditional and Custom Assertions. ICWS (2009)
Bernhard Hollunder
Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems. Ann. Math. Artif. Intell. 18 (2-4) (1996)
Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
On Skolemization in Constrained Logics. Ann. Math. Artif. Intell. 18 (2-4) (1996)
Franz Baader, Martin Buchheit, Bernhard Hollunder
Cardinality Restrictions on Concepts. Artif. Intell. 88 (1-2) (1996)
Franz Baader, Bernhard Hollunder
Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic. J. Autom. Reason. 15 (1) (1995)
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)
Bernhard Hollunder
An alternative proof method for possibilistic logic and its application to terminological logics. Int. J. Approx. Reason. 12 (2) (1995)
Franz Baader, Bernhard Hollunder
Embedding Defaults into Terminological Knowledge Representation Formalisms. J. Autom. Reason. 14 (1) (1995)
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) (1994)
Bernhard Hollunder
An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics. UAI (1994)
Franz Baader, Martin Buchheit, Bernhard Hollunder
Cardinality Restrictions on Concepts. KI (1994)
Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
Concept Logics with Function Symbols. ECAI (1994)
Franz Baader, Philipp Hanschke, Bernhard Hollunder, Bernhard Nebel, Werner Nutt
"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht. Künstliche Intell. 7 (3) (1993)
Franz Baader, Bernhard Hollunder
How to Prefer More Specific Defaults in Terminological Default Logic. IJCAI (1993)
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)
Bernhard Hollunder, Bernhard Nebel
Second International Conference on Principles of Knowledge Representation and Reasoning (KR '91). Künstliche Intell. 6 (3) (1992)
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) (1992)
Franz Baader, Bernhard Hollunder
Computing Extensions of Terminological Default Theories. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Franz Baader, Bernhard Hollunder
Embedding Defaults into Terminological Knowledge Representation Formalisms. KR (1992)
Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt
Terminologische Logiken. Künstliche Intell. 6 (3) (1992)
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)
Bernhard Hollunder, Bernhard Nebel
Second International Conference: Principles of Knowledge Representation and Reasoning - KR'91. Künstliche Intell. 5 (3) (1991)
Franz Baader, Bernhard Hollunder
A Terminological Knowledge Representation System with Complete Inference Algorithms. PDK (1991)
Franz Baader, Bernhard Hollunder
KRIS: Knowledge Representation and Inference System. SIGART Bull. 2 (3) (1991)
Bernhard Hollunder, Franz Baader
Qualifying Number Restrictions in Concept Languages. KR (1991)
Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß
Subsumption Algorithms for Concept Description Languages. ECAI (1990)
Bernhard Hollunder
Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems. GWAI (1990)

Bernhard Hollunder.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernhard Hollunder