Karsten Martiny, Ralf Möller. Abduction in PDT Logic. In Bernhard Pfahringer, Jochen Renz, editors, AI 2015: Advances in Artificial Intelligence - 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 - December 4, 2015, Proceedings. Volume 9457 of Lecture Notes in Computer Science, pages 398-410, Springer, 2015. [doi]
Abstract is missing.