author-photo

Bernhard Hollunder

German Research Centre for Artificial Intelligence

36

Papers

2174

Citations

Citation Trend

Filter By

Papers (36) Sort By

Journal Conference Others

A Course on Tool Based Software Engineering: The Students’ Perspective

2016
Show All
- Source
- Cite
- Save
Citations (0)
Tool Chains in Agile ALM Environments: A Short Introduction

2015
Show All
- Source
- Cite
- Save
Citations (3)
An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics

2013 arXiv: Artificial Intelligence
- Bernhard Hollunder
Show All
- Source
- Cite
- Save
Citations (1)
Building and assembling components

1997 Object Magazine archive
- Martin Buchheit
- Bernhard Hollunder
Show All
- Source
- Cite
- Save
Citations (1)
Consistency checking reduced to satisfiability of concepts in terminological systems

1996 Annals of Mathematics and Artificial Intelligence
- Bernhard Hollunder
Show All
- Source
- Cite
- Save
Citations (40)
On skolemization in constrained logics

1996 Annals of Mathematics and Artificial Intelligence
Show All
- Source
- Cite
- Save
Citations (4)
Cardinality restrictions on concepts

1996 Artificial Intelligence
Show All
- Source
- Cite
- Save
Citations (116)
Embedding defaults into terminological representation systems

1995 Journal of Automated Reasoning
- Franz Baader
- Bernhard Hollunder
Show All
- Source
- Cite
- Save
Citations (55)
Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic

1995 Journal of Automated Reasoning
- Franz Baader
- Bernhard Hollunder
Show All
- Source
- Cite
- Save
Citations (118)
An alternative proof method for possibilistic logic and its application to terminological logics

1995 International Journal of Approximate Reasoning
- Bernhard Hollunder
Show All
- Source
- Cite
- Save
Citations (70)