conftrace_

priority graph

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

agm theory (1) iterated belief change (1) belief base (1) dynamic epistemic logic (1) belief revision (1) formal methods (1)

Papers

Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach AAAI 2019