A general multi-agent epistemic planner based on higher-order belief change.

Hai Wan Biqing Fang Yongmei Liu

Published in: Artif. Intell. (2021)

Keyphrases

belief change
higher order
multi agent
belief revision
special case
belief update
propositional logic
probability theory
minimal change
prime implicates
reinforcement learning
horn logic
conditional random fields
decision procedures