Oliver Ray, Katsumi Inoue. A Consequence Finding Approach for Full Clausal Abduction. In Vincent Corruble, Masayuki Takeda, Einoshin Suzuki, editors, Discovery Science, 10th International Conference, DS 2007, Sendai, Japan, October 1-4, 2007, Proceedings. Volume 4755 of Lecture Notes in Computer Science, pages 173-184, Springer, 2007. [doi]
Abstract is missing.