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]
@inproceedings{YamamotoII12a,
title = {Heuristic Inverse Subsumption in Full-Clausal Theories},
author = {Yoshitaka Yamamoto and Katsumi Inoue and Koji Iwanuma},
year = {2012},
doi = {10.1007/978-3-642-38812-5_17},
url = {http://dx.doi.org/10.1007/978-3-642-38812-5_17},
researchr = {https://researchr.org/publication/YamamotoII12a},
cites = {0},
citedby = {0},
pages = {241-256},
booktitle = {Inductive Logic Programming - 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers},
editor = {Fabrizio Riguzzi and Filip Zelezný},
volume = {7842},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-38811-8},
}