2020
GenC: A Fast Tool for Applications Involving Belief Revision
IJCAI 2020poster
The process of belief revision occurs in many applications where agents may have incorrect or incomplete information. One important theoretical model of belief revision is the well-known AGM approach. Unfortunately, there are few tools available for solving AGM revision problems quickly; this has…