| Vol-1636 urn:nbn:de:0074-1636-1 Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# LBP-ILP 2015
Late Breaking Papers of ILP2015

### Late Breaking Papers of the 25th International Conference on Inductive Logic Programming

### Kyoto, Japan, August 20 - 22, 2015.

Edited by

### Katsumi Inoue *
Hayato Ohwada **
Akihiro Yamamoto ***

* National Institute of Informatics, Tokyo, Japan
** Tokyo University of Science, Noda, Chiba, Japan
*** Kyoto University, Kyoto, Japan

## Table of Contents

- Preface

- Logical Vision: Meta-Interpretive Learning for Simple Geometrical Concepts 1-16
  Wang-Zhou Dai, Stephen H. Muggleton, Zhi-Hua Zhou
- Typed Meta-Interpretive Learning for Proof Strategies 17-32
  Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton, Alan Bundy
- Case Studies on Extracting the Characteristics of the Reachable States of State Machines Formalizing Communication Protocols with Inductive Logic Programming 33-47
  Dung Tuan Ho, Min Zhang, Kazuhiro Ogata
- Brave Induction Revisited 48-61
  Jianmin Ji
- A Note on Restricted Forms of LGG 62-68
  Ondřej Kuželka, Jan Ramon
- Extracting the Common Structure of Compounds to Induce Plant Immunity Activation using ILP 69-78
  Atsushi Matsumoto, Katsutoshi Kanamori, Kazuyuki Kuchitsu, Hayato Ohwada
- Extracting Rules to Detect Cognitive Distractions through Driving Simulation 79-85
  Fumio Mizoguchi, Hayato Ohwada, Hiroyuki Nishiyama, Akira Yoshizawa, Hirotoshi Iwasaki
- Yet Another Parallel Hypothesis Search for Inverse Entailment 86-94
  Hiroyuki Nishiyama, Hayato Ohwada
- Completing Signaling Networks by Abductive Reasoning with Perturbation Experiments 95-100
  Adrien Rougny, Yoshitaka Yamamoto, Hidetomo Nabeshima, Gauvain Bourgne, Anne Poupon, Katsumi Inoue, Christine Froidevaux
- The Robot Engineer 101-106
  Claude Sammut, Raymond Sheh, Adam Haber, Handy Wicaksono

2016-07-13: submitted by Hayato Ohwada, metadata incl. bibliographic data published under Creative Commons CC0
2016-07-13: published on CEUR-WS.org |valid HTML5|