Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma. Heuristic Inverse Subsumption in Full-Clausal Theories. In Fabrizio Riguzzi, Filip Zelezný, editors, Inductive Logic Programming - 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers. Volume 7842 of Lecture Notes in Computer Science, pages 241-256, Springer, 2012. [doi]
Abstract is missing.