Calin-Rares Turliuc, Nataly Maimari, Alessandra Russo, Krysia Broda. On Minimality and Integrity Constraints in Probabilistic Abduction. In Kenneth L. McMillan, Aart Middeldorp, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. Volume 8312 of Lecture Notes in Computer Science, pages 759-775, Springer, 2013. [doi]
Abstract is missing.