Bernhard Hollunder

From MaRDI portal
Person:989169

Available identifiers

zbMath Open hollunder.bernhardMaRDI QIDQ989169

List of research outcomes





PublicationDate of PublicationType
The complexity of existential quantification in concept languages.2010-08-27Paper
Cardinality restrictions on concepts1998-07-23Paper
On Skolemization in constrained logics1998-05-17Paper
Consistency checking reduced to satisfiability of concepts in terminological systems1998-04-22Paper
Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic1996-07-14Paper
An alternative proof method for possibilistic logic and its application to terminological logics1995-03-22Paper
https://portal.mardi4nfdi.de/entity/Q40288051993-03-28Paper

Research outcomes over time

This page was built for person: Bernhard Hollunder

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:989169&oldid=7813889"
Powered by MediaWiki