Effective AGM Belief Contraction: A Journey beyond the Finitary Realm (Technical Report)

Dominik Klumpp, Jandson S. Ribeiro

Despite significant efforts towards extending the AGM paradigm of belief change beyond finitary logics, the computational aspects of AGM have remained almost untouched. We investig…