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

Bernhard Hollunder

Published in: UAI (1994)

Keyphrases

possibilistic logic
pattern recognition
probabilistic model
decision problems
neural network
dynamic environments
belief revision
propositional logic