Login / Signup
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