Preface 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 experi- mental evaluation and/or representing a self-contained theoretical contribu- tion, 2. short papers describing original work in progress, brief accounts of original ideas without conclusive experimental evaluation, and other relevant work of potentially high scientific 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 first-class conference or journal. There were 44 submissions in total; 24 long papers, 18 short papers, and 2 published papers. Long papers have been reviewed by at least 3 members of the program committee, and then 13 papers were accepted for oral presentation at ILP 2015. Short papers were firstly reviewed on the grounds of relevance by PC co-chairs, then 17 papers were accepted for short oral presentation. The following 2 published papers were both accepted for oral presentation: – Koichi Furukawa, Keita Kinjo, Tomonobu Ozaki and Makoto Haraguchi: “On Skill Acquisition Support by Analogical Rule Abduction”. – Andrew Cropper and Stephen Muggleton: “Learning Efficient Logical Robot Strategies Involving Composable Objects”. Each short paper presented at ILP 2015 were then reviewed by at least 3 mem- bers of the program committee. In this volume, 4 long papers and 6 short papers are collected from the papers presented at ILP 2015. These papers have been accepted as work-in-progress papers that report on ongoing researches or as ad- vances of ILP techniques. This proceedings of ILP Late Breaking Papers has been an important component of each ILP program. Another post-conference proceedings is published for ILP 2015 as a volume of Springer LNAI series for selected papers [1]. Moreover, there will be a special issue on ILP in Machine Learning Journal. There were 10 technical sessions in ILP 2015, whose topics are: Nonmonotonic Semantics, Logic and Learning, Complexity, Action Learning, Distribution Se- mantics, Implementation, Kernel Programming, Data and Knowledge Modeling, 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 meta- interpretive learning, which is a recent ILP technique aimed at supporting learning of recursive definitions and predicate invention. – Taisuke Sato (Tokyo Institute of Technology) firstly published the distri- bution 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 rela- tional 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 quantifiers” (co-authored with Stephen H. Bach, Marjon Blondeel, Marie- Francine Moens, Martine De Cock and Lise Getoor), and – Francesco Orsini for his paper “kProlog: An algebraic Prolog for kernel pro- gramming” (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, Kat- sumi Inoue, who are all chairs of the last five years of ILP conferences (2011– 2015), and Taisuke Sato. A survey of ILP 2015 including the abstracts of the three invited talks and “ILP 25 Years Panel” as well as recent trends in ILP has been given in AAAI-16 as a “What’s Hot” talk [2]. ILP 2015 was kindly sponsored by The Japanese Society for Artificial In- telligence (JSAI), Artificial Intelligence Journal (Elsevier), Machine Learning Journal (Springer), Support Center for Advanced Telecommunications Technol- ogy Research Foundation (SCAT), Inoue Foundation for Science, SONAR Ltd., Video Research Ltd., The Graduate University for Advanced Studies (SOK- ENDAI), 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 References 1. Katsumi Inoue, Hayato Ohwada and Akihiro Yamamoto (editors). Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference (ILP 2015; Kyoto, Japan, August 20-22, 2015). Lecture Notes in Artificial Intelli- gence, Vol.9575, Springer, 2016. 2. Katsumi Inoue, Hayato Ohwada and Akihiro Yamamoto. Inductive Logic Program- ming: Challenges. In: Proceedings of the 30th AAAI Conference on Artificial Intelli- gence (AAAI-16; Phoenix, Arizona, USA, February 2016), pp.4330–4332, 2016. Table of Contents Logical Vision: Meta-Interpretive Learning for Simple Geometrical Concepts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Wang-Zhou Dai, Stephen Muggleton and Zhi-Hua Zhou Typed meta-interpretive learning for proof strategies . . . . . . . . . . . . . . . . . . 17 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 Tuan Dung Ho, Min Zhang and Kazuhiro Ogata Brave Induction Revisited . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 Jianmin Ji A Note on Restricted Forms of LGG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 Ondřej Kuželka and Jan Ramon Extracting the Common Structure of Compounds to Induce Plant Immunity Activation using ILP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 Atsushi Matsumoto, Katsutoshi Kanamori, Kazuyuki Kuchitsu and Hay- ato Ohwada 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 . . . . . . . . . . . . . . . . . . . . . . . 86 Hiroyuki Nishiyama and Hayato Ohwada Completing signaling networks by abductive reasoning with perturbation experiments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 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 Erick Alphonse LIPN - UMR CNRS 7030 Annalisa Appice University Aldo Moro of Bari Elena Bellodi ENDIF-University of Ferrara Hendrik Blockeel K.U. Leuven Rui Camacho LIACC/FEUP University of Porto James Cussens University of York Jesse Davis KU Leuven Luc De Raedt Katholieke Universiteit Leuven Inês Dutra CRACS INES-TEC LA & Faculdade de Ciências, Universidade do Porto Saso Dzeroski Jozef Stefan Institute Nicola Fanizzi Dipartimento di Informatica, Università di Bari Stefano Ferilli Universita’ di Bari Peter Flach University of Bristol Nuno A. Fonseca EMBL-EBI, European Bioinformatics Institute Tamas Horvath University of Bonn and Fraunhofer IAIS Katsumi Inoue NII Nobuhiro Inuzuka Nagoya Institute of Technology Andreas Karwath University of Mainz Kristian Kersting TU Dortmund University Ross King University of Manchester Ekaterina Komendantskaya School of Computing, University of Dundee Nada Lavrač Jozef Stefan Institute Francesca Alessandra Lisi Università degli Studi di Bari ”Aldo Moro” Donato Malerba Università degli Studi di Bari ”Aldo Moro” Stephen Muggleton Department of Computing, Imperial College London Sriraam Natarajan Indiana University Hayato Ohwada Tokyo University of Science Aline Paes Institute of Computing, Universidade Federal Flu- minense Bernhard Pfahringer University of Waikato Ganesh Ramakrishnan IIT Bombay Jan Ramon K.U.Leuven Oliver Ray University of Bristol Fabrizio Riguzzi University of Ferrara Celine Rouveirol LIPN, Universit Paris 13 Alessandra Russo Imperial College London Chiaki Sakama Wakayama University Vı́tor Santos Costa Universidade do Porto Takayoshi Shoudai Faculty of International Studies, Kyushu Interna- tional University Ashwin Srinivasan BITS-Pilani Alireza Tamaddoni-Nezhad Imperial College, London Tomoyuki Uchida Hiroshima City University Guy Van den Broeck KU Leuven Jan Van Haaren KU Leuven Christel Vrain LIFO - university of Orléans Stefan Wrobel Fraunhofer IAIS & Univ. of Bonn Akihiro Yamamoto Kyoto University Gerson Zaverucha PESC/COPPE - UFRJ Filip Zelezny Czech Technical University Additional Reviewers Côrte-Real, Joana ■ R Ribeiro, Tony Sato, Taisuke Warburton, Chris