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|