The following pages link to Bernhard Hollunder (Q989169):
Displayed 7 items.
- The complexity of existential quantification in concept languages. (Q989170) (← links)
- An alternative proof method for possibilistic logic and its application to terminological logics (Q1346240) (← links)
- On Skolemization in constrained logics (Q1380406) (← links)
- Consistency checking reduced to satisfiability of concepts in terminological systems (Q1380407) (← links)
- Cardinality restrictions on concepts (Q1391904) (← links)
- Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic (Q1896367) (← links)
- (Q4028805) (← links)