An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics.

Bernhard Hollunder

Browse the full UAI paper archive.