Implementation of Belief Change Operators Using BDDs.

Nikos Gorogiannis Mark Ryan

Published in: Stud Logica (2002)

Keyphrases

belief change
belief revision
belief update
belief base
rationality postulates
propositional logic
update operators
agm postulates
prime implicates
iterated belief revision
morphological operators
probability theory
minimal change
expert systems
special case
logic programs