Bernhard Hollunder

Publications

1.6K

Citations

H-Index

1990

Active since

Affiliations

German Research Centre for Artificial Intelligence(Current)

Furtwangen University

RWTH Aachen University

Bernhard Hollunder is an author at German Research Centre for Artificial Intelligence specializing in semantics, automated reasoning, and linguistics.

Top concepts

SemanticsLanguageEngineeringLinguisticsAutomated ReasoningFormal MethodsComputational LinguisticsComputer ScienceKnowledge RepresentationVerification

Publications per year

1990–2010

Publications

Embedding defaults into terminological knowledge representation formalisms

Franz Baader, Bernhard Hollunder · Publications of the UdS (Saarland University) · 1993 · 263 citations · Full text

Embedding defaults into terminological knowledge representation formalisms

Franz Baader, Bernhard Hollunder · Journal of Automated Reasoning · 1995 · 186 citations

Knowledge Representation, Computational Linguistics, Default Logic +5

An empirical analysis of optimization techniques for terminological representation systems : or: 'Making KRIS get a move on'

Franz Baader, Bernhard Hollunder, Bernhard Nebel et al. · Publications of the UdS (Saarland University) · 1993 · 180 citations · Full text

Terminology Management, Engineering, Semantics +25

Qualifying number restrictions in concept languages

Bernhard Hollunder, Franz Baader · Publications of the UdS (Saarland University) · 1991 · 165 citations · Full text

Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic

Franz Baader, Bernhard Hollunder · Journal of Automated Reasoning · 1995 · 120 citations

Non-classical Logic, Automated Reasoning, Terminological Default Logic +8

Rows per page

1–5 of 17