ILP 2011


ILP 2011 Technical Programme

Venue: Cumberland Lodge, Windsor Great Park

Sunday 31st July, 2011

16:00 Registration desk opens in Tapestry Hall (Lodge Building)
18:00 Reception in Drawing room
19:00 Dinner in Cumberland Room - cash bar (in Equerries) open until 21:00
20:00 Talk by Dr Niven on history of Cumberland Lodge (Cumberland Room)
20:15 Musical performance in Drawing Room

Monday 1st August, 2011

08:00 Registration opens (Tapestry Hall)
08:45 Welcome (Flitcroft Room in Mews Building)
09:00 Keynote speaker 1 - Hector Geffner, Chair: Ramon Otero (Flitcroft)
Inference and Learning in Planning
10:00 Paper session 1 – Actions, Chair: Ramon Otero (Flitcroft)
Christophe Rodrigues, Pierre Gérard, Celine Rouveirol and Henry Soldano
Active learning of relational action models
Matthias Nickles
Integrating Relational Reinforcement Learning with Reasoning about Actions and Change
Krishna Dubba, Mehul Bhatt, Frank Dylla, Anthony Cohn and David Hogg
Interleaved Inductive-Abductive Reasoning for Learning Event-Based Activity Models
Stephen Muggleton and Changze Xu
Can ILP Learn Complete and Correct Game Strategies ?
11:00 Tea and Posters (Sandby)
11:15 Paper session 2 - Logic learning , Chair: Francesca Lisi (Flitcroft)
Stephen Muggleton, Dianhuan Lin and Alireza Tamaddoni-Nezhad
MC-TopLog: Complete Multi-clause Learning guided by a Top Theory
Katsumi Inoue
DNF Hypotheses in Bottom-directed ILP
Niels Pahlavi and Stephen Muggleton
Towards Efficient Higher-order Logic Learning in a First-order Datalog Framework
Yoshitaka Yamamoto, Katsumi Inoue and Koji Iwanuma
Comparison of Upward and Downward Generalization in CF-induction
Robert J. Henderson and Stephen H. Muggleton
Automatic Invention of Functional Abstractions
12:30 Lunch in Cumberland Room (Lodge Building)
13:30 Paper session 3 - Biological applications, Chair: Ross King (Flitcroft)
Alireza Tamaddoni-Nezhad, David Bohan, Alan Raybould and Stephen Muggleton
Machine Learning a Probabilistic Network of Ecological Interactions
Beau Piccart, Hendrik Blockeel, Lieven Eeckhout and Andy Georges
Predictive Learning in Two-way Datasets
Ashwin Srinivasan and Michael Bain
Learning Petri Net Models of Biological Systems using ILP
Barthelemy Dworkin, Andrei Doncescu and Katsumi Inoue
Model of Double Strand Break of DNA in Logic-Based Hypothesis Finding
14:30 Paper session 4, Chair: Gerson Zaverucha - PLL(1) (Flitcroft)
Elena Bellodi and Fabrizio Riguzzi
Learning the Structure of Probabilistic Logic Programs
Hiroaki Watanabe and Stephen Muggleton
Projection-based PILP: computational learning theory with empirical results
Fabrizio Riguzzi and Terrance Swift
The PITA System for Logical-Probabilistic Inference
Joris Renkens, Guy Van Den Broeck and Siegfried Nijssen
k-Optimal: A Novel Approximative Inference Algorithm for ProbLog
15:30 Coffee and Posters in Sandby
15:45 Paper session 5, Chair: Filip Zelezny - Implementations(1) (Flitcroft)
Cristiano Pitangui and Gerson Zaverucha
REDA-ILP: Learning Theories using EDA and Reduced Bottom Clauses
Andreas K. Fidjeland, Wayne Luk and Stephen H. Muggleton
Customisable Multi-Processor Acceleration of Inductive Logic Programming
Orlando Muñoz Texzocotetla and René Mac Kinney Romero
Multivalue Learning in ILP
Moez Essaidi, Aomar Osmani and Céline Rouveirol
Learning Dependent-Concepts in ILP: Application to Model-Driven Data Warehouse
16:45 Paper session 6, Chair: Katsumi Inoue - Theory(1)
Ekaterina Komendantskaya
Machine-Learning Coalgebraic Proofs
Joris Gillis and Jan Van Den Bussche
The expressive power of first-order logical decision trees
Francesca Alessandra Lisi and Umberto Straccia
Can ILP Deal with Incomplete and Vague Structured Knowledge?
17:30 Break and Posters in Sandby
18:30 Cash bar in Equerries (Lodge Building)
19:30 Dinner in Cumberland Room

Tuesday 2nd August, 2011

09:00 Keynote speaker 2 - Toby Walsh, Chair: Takayashi Shoudai (Flitcroft)
Exploiting Constraints
10:00 Paper session 7, Chair: Takayashi Shoudai - Constraints (Flitcroft)
Santiago Ontañón and Pedro Meseguer
Efficient Operations in Feature Terms using Constraint Programming
Yoshihisa Shiina and Hayato Ohwada
Using machine-generated soft constraints for roster problems
Frederic Koriche
Relational Networks of Conditional Preferences
Domenico Corapi, Alessandra Russo and Emil Lupu
Inductive Logic Programming in Answer Set Programming
11:00 Tea and Posters (Sandby)
11:15 Paper session 8, Chair: Nada Lavrac - PLL(2) (Flitcroft)
Masakazu Ishihata, Yoshitaka Kameya and Taisuke Sato
Variatinal Bayes inference for logic-based probabilistic models on BDDs
James Cussens
Online Bayesian inference for the parameters of PRISM programs
Waleed Alsanie and James Cussens
Learning a generative failure-free PRISM clause
Hassan Khosravi, Oliver Schulte and Jianfeng Hu
Learning Compact Markov Logic Networks With Decision Trees
12:30 Lunch in Cumberland Room (Lodge Building)
13:30 Social event - tour of Windsor and Eton
18:30 Coach transfer from Cumberland Lodge to Savill Court
19:00 Pre-dinner drinks (Savill Court)
19:30 Banquet (Savill Court)

Wednesday 3rd August, 2011

09:00 Keynote speaker 3 - Rich Sutton, Chair: Rui Camacho (Flitcroft)
Beyond Reward: The problem of knowledge and data
10:00 Paper session 9A – Applications(1), Chair: Rui Camacho (Flitcroft)
Ramon Otero, Javier Romero, Jorge Gonzalez and Dominguez Illobre
Inducing a system that intentionally hides
Jorge Gonzalez, Javier Romero, Alberto Illobre, Luis Fraga and Ramon Otero
Experiments on Psychology Using the ILP+ASP Method
Jianmin Ji and Xiaoping Chen
Induction in Nonmonotonic Causal Theories for a Domestic Service Robot
Krishna Dubba, Paulo Santos, Anthony Cohn and David Hogg
Probabilistic relational learning of event models from video
10:00 Paper session 9B – Spatial/temporal, Chair: Filip Zelezny (Hodgson)
Parisa Kordjamshidi, Paolo Frasconi, Martijn Van Otterlo, Marie-Francine Moens and Luc De Raedt
Spatial Relation Extraction using Relational Learning
Pedro Torres and Marian Ursu
Induction in First-Order Logic with Temporal Metric Operators
Muralikrishna Sridhar, Anthony G Cohn and David C Hogg
Relational Learning with Qualitative Spatio-Temporal Graphs for Understanding Video Activities
Jan Van Haaren and Guy Van Den Broeck
Relational Learning for Football-Related Predictions
11:00 Tea and Posters (Sandby)
11:15 Paper session 10A – Applications(2), Chair: Stefan Kramer (Flitcroft)
Dianhuan Lin, Jianzhong Chen, Hiroaki Watanabe, Stephen Muggleton, Pooja Jain, Michael Sternberg, Charles Baxter, Richard Currie, Stuart Dunbar, Mark Earll and Domingo Salazar
Does Multi-clause Learning Help in Real-world Applications?
Anže Vavpetič and Nada Lavrac
Using Ontologies in Semantic Data Mining with g-SEGS and Aleph
Carlos Ferreira, João Gama and Vítor Costa
Predictive Sequence Miner in ILP Learning
Jose Santos and Manuel Ribeiro
Improving search engine Query Expansion techniques with ILP
Mathias Verbeke, Paolo Frasconi, Vincent Van Asch, Roser Morante, Walter Daelemans and Luc De Raedt
Kernel-based Logical and Relational Learning with kLog for Hedge Cue Detection
11:15 Paper session 10B – Implementations(2), Chair: Hendrik Blockeel (Hodgson)
Radomir Cernoch and Filip Zelezny
Subgroup Discovery through Bump Hunting on Relational Histograms
Thashmee Karunaratne and Henrik Boström
Use of frequent itemset mining for learning from graphs – what is gained and what is lost?
Takashi Yamada and Takayoshi Shoudai
Graph Contraction Pattern Matching for Graphs of Bounded Treewidth
Nicola Di Mauro, Teresa M.A. Basile, Stefano Ferilli and Floriana Esposito
mLynx: Relational Mutual Information
12:30 Lunch in Cumberland Room (Lodge Building)
13:30 Paper session 11A - PLL(3), Chair: James Cussens (Flitcroft)
Davide Nitti, Guy Van Den Broeck and Luc De Raedt
Probabilistic Logic in Dynamic Domains: Particle Filter with Distributional Clauses
Man Zhu and Zhiqiang Gao
Learning from Linked Data by Markov Logic
Filip Zelezny
Satisfiability machines
Bogdan Moldovan, Martijn Van Otterlo, Plinio Moreno Lopez, Jose Santos-Victor and Luc De Raedt
Statistical Relational Learning of Object Affordances for Robotic Manipulation
13:30 Paper session 11B – Theory(2), Chair: Akihiro Yamamoto (Hodgson)
Yuta Yoshimura, Takayoshi Shoudai, Yusuke Suzuki, Tomoyuki Uchida and Tetsuhiro Miyahara
Polynomial Time Inductive Inference of Cograph Pattern Languages from Positive Data
Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel and Jeff Kramer
Integrating Model Checking and Inductive Logic Programming
Lukasz Jozefowski, Agnieszka Lawrynowicz, Joanna Jozefowska, Jędrzej Potoniec and Tomasz Lukaszewski
Kernels for EL++ Description Logic Concepts
Brahim Douar and Michel Liquiere
Graph-based relational learning with a polynomial time projection algorithm
14:30 Paper session 12A – Applications(3), Chair: Peter Flach (Flitcroft)
Hiroyuki Nishiyama and Fumio Mizoguchi
ILP for Cosmetic Product Selection - Use of Smart Phone for Real-World Machine Learning Application
Andreas Markitanis, Domenico Corapi, Alessandra Russo and Emil Lupu
Learning user behaviours in real mobile domains
Mahito Sugiyama, Kentaro Imajo, Keisuke Otaki and Akihiro Yamamoto
Discovering Ligands for TRP Ion Channels Using Formal Concept Analysis
14:30 Paper session 12B – Implementations(3), Chair: Michael Bain (Hodgson)
Jan Ramon, Samrat Roy and Jonny Daenen
Efficient homomorphism-free enumeration of conjunctive queries
Nuno A. Fonseca, Rui Camacho and Vitor Santos Costa
Conceptual Clustering of Multi-Relational Data
Oliver Schulte, Hassan Khosravi and Tong Man
Learning Directed Relational Models With Recursive Dependencies
15:45 Coffee and Posters (Sandby)
16:00 ILP Community meeting (Flitcroft)
17:00 PC meeting (Flitcroft)
18:00 Conference ends and guests depart