How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements.

Thomas Eiter Aaron Hunter François Schwarzentruber

Published in: IJCAI (2021)

Keyphrases

computational complexity
propositional logic
belief functions
case study
worst case
first order logic
computational cost
decision problems
complexity analysis
epistemic states
truth maintenance systems
polynomial hierarchy