This volume contains the selected \Late Breaking Papers" from ILP 2015: The 25th International Conference on Inductive Logic Programming. ILP 2015 was held in Kyoto University, Kyoto, Japan, from 20th to 22nd of August, 2015. The ILP conference series have been the premier international forum on ILP. Topics in ILP conferences address theories, algorithms, representations and languages, systems and applications of ILP, and cover all areas of learning in logic, relational learning, relational data mining, statistical relational learning, multi-relational data mining, relational reinforcement learning, graph mining, connections with other learning paradigms, among others. This edition of ILP conference has solicited three types of submissions: 1. long papers describing original mature work containing appropriate experimental evaluation and/or representing a self-contained theoretical contribution, 2. short papers describing original work in progress, brief accounts of original ideas without conclusive experimental evaluation, and other relevant work of potentially high scienti c interest but not yet qualifying for the long paper category, and 3. papers relevant to the conference topics and recently published or accepted for publication by a rst-class conference or journal.
and Cognitive Modeling. The program of ILP 2015 included the three excellent invited talks: { Stephen Muggleton (Imperial College London) gave the talk \Meta-Interpretive Learning: achievements and challenges", and detailed their work on metainterpretive learning, which is a recent ILP technique aimed at supporting learning of recursive de nitions and predicate invention. { Taisuke Sato (Tokyo Institute of Technology) rstly published the distribution semantics for probabilistic logic programming (PLP) in 1995, and ILP 2015 celebrated the 20th anniversary of the distribution semantics in the form of Sato's monumental talk \Distribution semantics and cyclic relational modeling", which was followed by a session of probabilistic ILP. { Luc De Raedt (Katholieke Universiteit Leuven) reported in his invited talk \Applications of Probabilistic Logic Programming" their recent progress in applying PLP to challenging applications.
At ILP 2015, the Machine Learning Journal generously continued its sponsorship
of the best student paper award. The two best student paper awards of ILP 2015
were given to:
{ Golnoosh Farnadi for her paper \Statistical relational learning with soft
quanti ers" (co-authored with Stephen H. Bach, Marjon Blondeel,
MarieFrancine Moens, Martine De Cock and Lise Getoor), and
{ Francesco Orsini for his paper \kProlog: An algebraic Prolog for kernel
programming" (co-authored with Paolo Frasconi and Luc De Raedt).
To celebrate the 25th anniversary of ILP conference series, ILP 2015 organized a
panel discussion on past and future progress of ILP. The panelists were Stephen
Muggleton, Fabrizio Riguzzi, Filip Zelezny, Gerson Zaverucha, Jesse Davis,
Katsumi Inoue, who are all chairs of the last ve years of ILP conferences (201
ILP 2015 was kindly sponsored by The Japanese Society for Arti cial Intelligence (JSAI), Arti cial Intelligence Journal (Elsevier), Machine Learning Journal (Springer), Support Center for Advanced Telecommunications Technology Research Foundation (SCAT), Inoue Foundation for Science, SONAR Ltd., Video Research Ltd., The Graduate University for Advanced Studies (SOKENDAI), National Institute of Informatics (NII), Tokyo University of Science, and Kyoto University. Last but not least, we would like to thank the members of the Local Committee of ILP 2015: Kotaro Okazaki (local chair), Taku Harada, Kimiko Kato, Hiroyuki Nishiyama, Tony Ribeiro, Suguru Ueda, Ryo Yoshinaka, and their teams. They did an outstanding job with the local arrangements, and the conference would not have been possible without their hard work. May 2016
Katsumi Inoue
Hayato Ohwada Akihiro Yamamoto Typed meta-interpretive learning for proof strategies : : : : : : : : : : : : : : : : : : Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton and Alan Bundy A Case Study on Extracting the Characteristics of the Reachable States of a State Machine formalizing a Communication Protocol with Inductive Logic Programing : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Tuan Dung Ho, Min Zhang and Kazuhiro Ogata Brave Induction Revisited : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Jianmin Ji A Note on Restricted Forms of LGG : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Ondrej Kuzelka and Jan Ramon Extracting the Common Structure of Compounds to Induce Plant Immunity Activation using ILP : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : Atsushi Matsumoto, Katsutoshi Kanamori, Kazuyuki Kuchitsu and Hayato Ohwada 1 17 33 48 62 69 86 95 Extracting rules to detect cognitive distractions through driving simulation 79 Fumio Mizoguchi, Hayato Ohwada, Hiroyuki Nishiyama, Akira Yoshizawa and Hirotoshi Iwasaki Yet Another Parallel Hypothesis Search for ILP : : : : : : : : : : : : : : : : : : : : : : :
Hiroyuki Nishiyama and Hayato Ohwada Completing signaling networks by abductive reasoning with perturbation experiments : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : Adrien Rougny, Yoshitaka Yamamoto, Hidetomo Nabeshima, Gauvain Bourgne, Anne Poupon, Katsumi Inoue and Christine Froidevaux The Robot Engineer : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 101
Claude Sammut, Raymond Sheh, Adam Haber and Handy Wicaksono Program Committee
Hiroshima City University KU Leuven KU Leuven LIFO - university of Orleans Fraunhofer IAIS & Univ. of Bonn Kyoto University PESC/COPPE - UFRJ
Czech Technical University