Belief Manipulation Through Propositional Announcements.

Aaron Hunter François Schwarzentruber Eric Tsang

Published in: IJCAI (2017)

Keyphrases

truth maintenance systems
propositional logic
epistemic states
belief revision
belief functions
belief base
multi valued
first order logic
subjective logic
probabilistic logic
horn clauses
nonmonotonic reasoning
strips planning
belief space
probability theory
probability measures
satisfiability testing
np hard