1. Furukawa, K., Kobayashi, I., Inoue, K., Suwa, M.: Discovering knack by abductive reasoning. In: SIG-SKL (Skill Science). Japanese Society for Artificial Intelligence (January 2009) (in Japanese)
2. Inoue, K.: Linear resolution for consequence finding. Artificial Intelligence 56, 301–353 (1992)
3. Inoue, K.: Induction as consequence finding. Machine Learning 55, 109–135 (2004)
4. Inoue, K., Iwanuma, K., Nabeshima, H.: Consequence finding and computing answers with defaults. Journal of Intelligent Information Systems 26, 41–58 (2006)
5. Inoue, K., Furukawa, K., Kobayashi, I.: Abducing rules with predicate invention. In: 19th International Conference on Inductive Logic Programming (ILP 2009), Leuven, Belgium (July 2009)