conftrace_

km postulate

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

belief update (2) belief revision (2) non-finitary logic (1) agm postulate (1) semantic characterization (1) partial preorder (1) iterated update (1) iterated belief (1) faithful assignment (1) iterated belief revision (1)

Papers

On the Logic of Theory Change Iteration of KM-Update, Revised IJCAI 2024 Belief Update without Compactness in Non-finitary Languages IJCAI 2019