QLB: A Quantified Logic for Belief.

Alessio Lomuscio Marco Colombetti

Published in: ATAL (1996)

Keyphrases

modal operators
truth values
probability theory
belief revision
modal logic
logic programming
multi valued
classical logic
sound and complete axiomatization
belief set
nonmonotonic logics
belief functions
fuzzy sets
probability measures
delay insensitive
neural network
subjective logic
database