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

# ILP16
The 26th International Conference on Inductive Logic Programming (Short papers)

### Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers)

### London, UK, 2016.

Edited by

### James Cussens, University of York, UK
Alessandra Russo, Imperial College, London, UK

## Table of Contents

- Preface

- Reduction of ILP Search Space with Bottom-Up Propositionalisation 1-7
  Hadeel Al-Negheimish, Alessandra Russo
- Identifying Non-Redundant Literals in Clauses with Uniqueness Propagation 8-13
  Hendrik Blockeel
- A Simple Framework for Theta-Subsumption Testing in Prolog 14-19
  Hendrik Blockeel, Svetlana Valevich
- An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming 20-26
  Stanislav Dragiev, Alessandra Russo, Krysia Broda, Mark Law, Calin-Rares Turliuc
- Learning from Interpretation Transition using Feed-Forward Neural Networks 27-33
  Enguerrand Gentet, Sophie Tourret, Katsumi Inoue
- Learning Disjunctive Logic Programs from Interpretation Transition 34-40
  Yi Huang, Yisong Wang, Ying Zhang, Mingyi Zhang
- A new Model for Scalable θ-subsumption 41-47
  Hippolyte Léger, Dominique Bouthinon, Mustapha Lebbah, Hanene Azzag-Khelif
- Behavior Analysis of Executed and Attacked Players in Werewolf Game by ILP 48-53
  Ema Nishizaki, Tomonobu Ozaki
- Using ILP to Analyse Ransomware Attacks 54-59
  Oliver Ray, Samuel Hicks, Steve Moyle
- An Experimental Analysis of Whispers' Effect in Werewolf BBS by Relational Association Rules 60-65
  Saki Sakaguchi, Tomonobu Ozaki
- Activity Recognition in Multiple Contexts for Smart-House Data 66-72
  Kacper Sokol, Peter Flach
- Deeply Semantic Inductive Spatio-Temporal Learning 73-80
  Jakob Suchan, Mehul Bhatt, Carl Schultz
- Learning Datalog Programs from Input and Output 81-87
  Yisong Wang, Xu Wang, Yi Huang

2017-06-22: submitted by James Cussens, metadata incl. bibliographic data published under Creative Commons CC0
2017-06-22: published on CEUR-WS.org |valid HTML5|