Yifan Yang, Jamal Atif, Isabelle Bloch. Abductive Reasoning Using Tableau Methods for High-Level Image Interpretation. In Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza, Sebastian Rudolph, editors, KI 2015: Advances in Artificial Intelligence - 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings. Volume 9324 of Lecture Notes in Computer Science, pages 356-365, Springer, 2015. [doi]
Abstract is missing.