Bernhard Hollunder

According to our database, Bernhard Hollunder authored at least 28 papers between 1989 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

Tool Chains in Agile ALM Environments: A Short Introduction.

Saed Imran, Martin Buchheit, Bernhard Hollunder, Ulf Schreier

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Workshops, 2015

2010

Quality of Service Attributes in Web Services.

Ahmed Al-Moayed, Bernhard Hollunder

Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

2009

WS-Policy: On Conditional and Custom Assertions.

Bernhard Hollunder

Proceedings of the IEEE International Conference on Web Services, 2009

Domain-Specific Processing of Policies or: WS-Policy Intersection Revisited.

Bernhard Hollunder

Proceedings of the IEEE International Conference on Web Services, 2009

1996

Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems.

Bernhard Hollunder

Ann. Math. Artif. Intell., 1996

On Skolemization in Constrained Logics.

Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux

Ann. Math. Artif. Intell., 1996

Cardinality Restrictions on Concepts.

Franz Baader, Martin Buchheit, Bernhard Hollunder

Artif. Intell., 1996

1995

Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic.

Franz Baader, Bernhard Hollunder

J. Autom. Reason., 1995

Embedding Defaults into Terminological Knowledge Representation Formalisms.

Franz Baader, Bernhard Hollunder

J. Autom. Reason., 1995

An alternative proof method for possibilistic logic and its application to terminological logics.

Bernhard Hollunder

Int. J. Approx. Reason., 1995

Task Acquisition with a Description Logic Reasoner.

Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik

Proceedings of the KI-95: Advances in Artificial Intelligence, 1995

1994

Algorithmic foundations of terminological knowledge representation systems.

Bernhard Hollunder

PhD thesis, 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

Concept Logics with Function Symbols.

Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

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

How to Prefer More Specific Defaults in Terminological Default Logic.

Franz Baader, Bernhard Hollunder

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

Terminologische Logiken.

Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt

Künstliche Intell., 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

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

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Computing Extensions of Terminological Default Theories.

Franz Baader, Bernhard Hollunder

Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992

1991

KRIS: Knowledge Representation and Inference System.

Franz Baader, Bernhard Hollunder

SIGART Bull., 1991

Second International Conference: Principles of Knowledge Representation and Reasoning - KR'91.

Bernhard Hollunder, Bernhard Nebel

Künstliche Intell., 1991

A Terminological Knowledge Representation System with Complete Inference Algorithms.

Franz Baader, Bernhard Hollunder

Proceedings of the Processing Declarative Knowledge, 1991

Qualifying Number Restrictions in Concept Languages.

Bernhard Hollunder, Franz Baader

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Terminological Knowledge Representation: A Proposal for a Terminological Logic.

Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich

Proceedings of the International Workshop on Terminological Logics 1991, 1991

1990

Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems.

Bernhard Hollunder

Proceedings of the GWAI-90, 1990

Subsumption Algorithms for Concept Description Languages.

Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989

Subsumption algorithms for some attributive concept description languages.

Bernhard Hollunder

SEKI Report 89-16, 1989