Bernhard Hollunder
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| The complexity of existential quantification in concept languages. Artificial Intelligence | 2010-08-27 | Paper |
| Cardinality restrictions on concepts Artificial Intelligence | 1998-07-23 | Paper |
| On Skolemization in constrained logics Annals of Mathematics and Artificial Intelligence | 1998-05-17 | Paper |
| Consistency checking reduced to satisfiability of concepts in terminological systems Annals of Mathematics and Artificial Intelligence | 1998-04-22 | Paper |
| Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic Journal of Automated Reasoning | 1996-07-14 | Paper |
| An alternative proof method for possibilistic logic and its application to terminological logics International Journal of Approximate Reasoning | 1995-03-22 | Paper |
| scientific article; zbMATH DE number 140398 (Why is no real title available?) | 1993-03-28 | Paper |
Research outcomes over time
This page was built for person: Bernhard Hollunder
