conftrace_

iterated belief revision

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

belief revision (2) sat-based algorithm (1) revision operator (1) axiomatic characterization (1) belief update (1) agent alignment (1) km postulate (1) epistemic state (1) belief revision operator (1) agm postulate (1)

Papers

On the Logic of Theory Change Iteration of KM-Update, Revised IJCAI 2024 Conditional Independence for Iterated Belief Revision IJCAI 2022 Pitfalls of Learning a Reward Function Online IJCAI 2020