Heuristic Inverse Subsumption in Full-Clausal Theories

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]

Authors

Yoshitaka Yamamoto

This author has not been identified. Look up 'Yoshitaka Yamamoto' in Google

Katsumi Inoue

This author has not been identified. Look up 'Katsumi Inoue' in Google

Koji Iwanuma

This author has not been identified. Look up 'Koji Iwanuma' in Google