Measuring Disagreement with Interpolants

Jandson S. Ribeiro, Viorica Sofronie-Stokkermans, Matthias Thimm. Measuring Disagreement with Interpolants. In Jesse Davis, Karim Tabia, editors, Scalable Uncertainty Management - 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23-25, 2020, Proceedings. Volume 12322 of Lecture Notes in Computer Science, pages 84-97, Springer, 2020. [doi]


Abstract is missing.