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]

@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},
}