Bernhard Hollunder

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Tool Chains in Agile ALM Environments: A Short Introduction.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Workshops, 2015

2010
Quality of Service Attributes in Web Services.
Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

2009
WS-Policy: On Conditional and Custom Assertions.
Proceedings of the IEEE International Conference on Web Services, 2009

Domain-Specific Processing of Policies or: WS-Policy Intersection Revisited.
Proceedings of the IEEE International Conference on Web Services, 2009

1996
Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems.
Ann. Math. Artif. Intell., 1996

On Skolemization in Constrained Logics.
Ann. Math. Artif. Intell., 1996

Cardinality Restrictions on Concepts.
Artif. Intell., 1996

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

Embedding Defaults into Terminological Knowledge Representation Formalisms.
J. Autom. Reason., 1995

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

Task Acquisition with a Description Logic Reasoner.
Proceedings of the KI-95: Advances in Artificial Intelligence, 1995

1994
Algorithmic foundations of terminological knowledge representation systems.
PhD thesis, 1994

Am empirical analysis of optimization techniques for terminological representation systems.
Appl. Intell., 1994

Concept Logics with Function Symbols.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993
"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht.
Künstliche Intell., 1993

How to Prefer More Specific Defaults in Terminological Default Logic.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992
Terminologische Logiken.
Künstliche Intell., 1992

The Complexity of Existential Quantification in Concept Languages.
Artif. Intell., 1992

An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Computing Extensions of Terminological Default Theories.
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.
SIGART Bull., 1991

Second International Conference: Principles of Knowledge Representation and Reasoning - KR'91.
Künstliche Intell., 1991

A Terminological Knowledge Representation System with Complete Inference Algorithms.
Proceedings of the Processing Declarative Knowledge, 1991

Qualifying Number Restrictions in Concept Languages.
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.
Proceedings of the International Workshop on Terminological Logics 1991, 1991

1990
Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems.
Proceedings of the GWAI-90, 1990

Subsumption Algorithms for Concept Description Languages.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989
Subsumption algorithms for some attributive concept description languages.
SEKI Report 89-16, 1989


  Loading...