Get started
Author

Bernhard Hollunder

Observed names: B. Hollunder, Hollunder, B., Hollunder, Bernhard, Hollunder, Bernhard 1963-
OpenAlex ID: A5044197008
Embedding defaults into terminological knowledge representation formalisms
1993 · Baader, Franz, Hollunder, Bernhard · 268
Embedding defaults into terminological knowledge representation formalisms
1995 · Franz Baader, Bernhard Hollunder · Journal of Automated Reasoning · 195
An empirical analysis of optimization techniques for terminological representation systems : or: 'Making KRIS get a move on'
1993 · Baader, Franz, Hollunder, Bernhard, et al. · 183
Qualifying number restrictions in concept languages
1991 · Hollunder, Bernhard, Baader, Franz · Repository of Futwangen University of Applied Sciences (Furtwangen University) · 164
A terminological knowledge representation system with complete inference algorithms
1991 · Franz Baader, Bernhard Hollunder · Lecture notes in computer science · 143
Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
1995 · Franz Baader, Bernhard Hollunder · Journal of Automated Reasoning · 118
Subsumption algorithms for concept description languages
1990 · Bernhard Hollunder, Werner Nutt, et al. · 117
KRIS
1991 · Franz Baader, Bernhard Hollunder · ACM SIGART Bulletin · 97
The complexity of existential quantification in concept languages
1992 · Francesco M. Donini, Maurizio Lenzerini, et al. · Artificial Intelligence · 87
How to prefer more specific defaults in terminological default logic
1992 · Baader, Franz, Hollunder, Bernhard · 77
Am empirical analysis of optimization techniques for terminological representation systems
1994 · Franz Baader, Bernhard Hollunder, et al. · Applied Intelligence · 72
Terminological knowledge representation : a proposal for a terminological logic
1990 · Baader, Franz, Bürckert, Hans-Jürgen, et al. · 69
Subsumption algorithms for concept languages
1990 · Hollunder, Bernhard, Nutt, Werner · 53
An alternative proof method for possibilistic logic and its application to terminological logics
1995 · Bernhard Hollunder · International Journal of Approximate Reasoning · 52
Hybrid Inferences in KL-ONE-based Knowledge Representation Systems
1990 · Bernhard Hollunder · Informatik-Fachberichte · 43
An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics
1994 · Bernhard Hollunder · Elsevier eBooks · 42
Consistency checking reduced to satisfiability of concepts in terminological systems
1996 · Bernhard Hollunder · Annals of Mathematics and Artificial Intelligence · 38
Quality of Service Attributes in Web Services
2010 · Ahmed Al-Moayed, Bernhard Hollunder · International Conference on Software Engineering Advances · 30
Concept Logics
1990 · Franz Baader, Hans-Jürgen Bürckert, et al. · Springer eBooks · 18
Domain-Specific Processing of Policies or: WS-Policy Intersection Revisited
2009 · Bernhard Hollunder · IEEE International Conference on Web Services (ICWS) · 16
WS-Policy: On Conditional and Custom Assertions
2009 · Bernhard Hollunder · IEEE International Conference on Web Services (ICWS) · 13
Cardinality restrictions on concepts
1994 · Franz Baader, Martin Buchheit, et al. · Lecture notes in computer science · 10
Tool Chains in Agile ALM Environments: A Short Introduction
2015 · Saed Imran, Martin Buchheit, et al. · Lecture notes in computer science · 9
KRIS: knowledge representation and inference system ; system description
1990 · Baader, Franz, Hollunder, Bernhard · Repository of Futwangen University of Applied Sciences (Furtwangen University) · 8
An Architecture to Measure QoS Compliance in SOA Infrastructures
2010 · Alexander Wahl, Ahmed Al-Moayed, et al. · Repository of Futwangen University of Applied Sciences (Furtwangen University) · 6
Works count: 78
Citation count: 1,961
H-index: 18
I10-index: 22
Year
Topic
Type