Hollunder, Bernhard

2 publications

UAI 1994 An Alternative Proof Method for Possibilistic Logic and Its Application to Terminological Logics Bernhard Hollunder

IJCAI 1993 How to Prefer More Specific Defaults in Terminological Default Logic Franz Baader, Bernhard Hollunder