Belief Change and Non-deterministic Actions.

Published in: Canadian Conference on AI (2014)

Keyphrases

belief change
belief revision
belief update
prime implicates
propositional logic
horn logic
probability theory
minimal change
decision theoretic
special case
belief base
action theories
formal theory
iterated belief revision