Bernhard Hollunder

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