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]
@inproceedings{RibeiroST20, title = {Measuring Disagreement with Interpolants}, author = {Jandson S. Ribeiro and Viorica Sofronie-Stokkermans and Matthias Thimm}, year = {2020}, doi = {10.1007/978-3-030-58449-8_6}, url = {https://doi.org/10.1007/978-3-030-58449-8_6}, researchr = {https://researchr.org/publication/RibeiroST20}, cites = {0}, citedby = {0}, pages = {84-97}, booktitle = {Scalable Uncertainty Management - 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23-25, 2020, Proceedings}, editor = {Jesse Davis and Karim Tabia}, volume = {12322}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-030-58449-8}, }