LBP-ILP 2015
Late Breaking Papers of ILP2015

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