Back to top

Program (All times are BST)

Program Outline

ILP/AAIP Sessions

NeSy Sessions

HLC Sessions

Joint Sessions

Poster Sessions


Session Recordings


Session recordings now can be accessed by clicking the "[Recording]" link to the right of the corresponding slots. All sessions have been recorded with speaker consent and all recordings are stored in the college server of Imperial College London.



Wednesday 28th Sep



09:00 - 09:15 Welcome Address (Stephen Muggleton) [Recording] - Location: Flitcroft

09:15 - 10:00 Plenary Keynote (Richard Evans) [Recording] - Location: Flitcroft
Chair: Stephen Muggleton


10:00 - 11:00: Joint Journal Paper Session (Logical Learning) [Recording]
Location: Flitcroft
Chair: Alireza Tamaddoni-Nezhad
10:00 - 10:15
Journal TrackStassa Patsantzis and Stephen Muggleton
Meta-interpretive learning as metarule specialisation.
10:15 - 10:30
Journal TrackEleonora Giunchiglia, Mihaela Stoian, SalmancKhan , Fabio Cuzzolin and Thomas Lukasiewicz
ROAD-R: The Autonomous Driving Dataset with Logical Requirements.
10:30 - 10:45
Journal TrackMattijs Baert, Sam Leroux and Pieter Simoens
Inverse Reinforcement Learning Through Logic Constraint Inference.
10:45 - 11:00
Journal TrackCeline Hocquette and Andrew Cropper
Learning Programs With Magic Values.

11:00 – 11:45: Tea/Coffee & Poster Presentation
Location: Drawing Room and Sitting Room (Main Lodge)


11:45 - 12:30: Joint Journal Paper Session (Probabilistic and Neural Symbolic) [Recording]
Location: Flitcroft
Chair: Alireza Tamaddoni-Nezhad
11:45 - 12:00
Journal TrackHikaru Shindo, Viktor Pfanschilling, Devendra Dhami and Kristian Kersting
alphaILP: Thinking visual scenes as differentiable logic programs.
12:00 - 12:15
Journal TrackDaniel Cunnington, Mark Law, Alessandra Russo and Jorge Lobo
FFNSL: Feed-forward neural-symbolic learner.
12:15 - 12:30
Journal TrackAlessandro Daniele, Emile van Krieken, Luciano Serafini and Frank van Harmelen
Refining neural network predictions using background knowledge.

12:30 – 13:30 : Lunch Break
13:30 - 14:15 Plenary Keynote (Leslie Pack Kaelbling) [Recording] - Location: Flitcroft
Chair: Alan Bundy

14:15 – 14:50: Tea/Coffee & Poster presentation
Location: Drawing Room and Sitting Room (Main Lodge)

Parallel Sessions:


14:50 – 15:50: ILP/AAIP Session 1 (Statistical Relational Learning) [Recording]
Location: Flitcroft
Chair: Stephen Muggleton


14:50 – 15:20
Conference Track Damiano Azzolini, Elena Bellodi and Fabrizio Riguzzi
Learning the Parameters of Probabilistic Answer Set Programs.
15:20 – 15:50
Conference Track Felix Weitkämper
Functional lifted Bayesian networks: Statistical relational learning and reasoning with relative frequencies.


16:00 – 17:00: ILP/AAIP Session 2 (Knowledge and Transfer Learning) [Recording]
Location: Flitcroft
Chair: Alireza Tamaddoni-Nezhad


16:00 – 16:30
Conference Track Tomáš Kliegr
RDFRules: Making RDF Rule Mining Easier and Even More Efficient.
16:30 – 17:00
Conference Track Thais Luca, Aline Paes and Gerson Zaverucha
Combining word embeddings-based similarity measures for transfer learning across relational domains.


14:50 – 15:50: HLC Session 1 (Representational Change) [Recording]
Location: Hodgson
Chair: Frank Guerin


14:50 – 15:20
Conference Track Daniel Raggi, Aaron Stockdill, Gem Stapleton, Mateja Jamnik, Grecia Garcia Garcia and Peter Cheng
Oruga: an avatar of Representational Systems Theory.
15:20 – 15:50
Conference Track Aaron Stockdill, Grecia Garcia Garcia, Peter Cheng, Daniel Raggi and Mateja Jamnik
Cognitive Analysis for Representation Change.


16:00 – 17:00: HLC Session 2 (Representation Repair) [Recording]
Location: Hodgson
Chair: Frank Guerin


16:00 – 16:30
Conference Track Xue Li and Alan Bundy
An overview of the ABC Repair System for Datalog-like Theories.
16:30 – 17:00
Conference Track Cheng-Hao Cai and Alan Bundy
Repairing Numerical Equations in Analogically Blended Theories Using Reformation.


14:50 – 15:50: NeSy Session 1 [Recording]
Location: Sandby
Chair: Alessandra Russo


14:50 – 15:10
Conference Track Eriq Augustine, Connor Pryor, Charles Dickens, Jay Pujara, William Yang Wang and Lise Getoor
Visual Sudoku Puzzle Classification: A Suite of Collective Neuro-Symbolic Tasks.
15:10 – 15:30
Conference Track Elena Umili, Roberto Capobianco and Giuseppe De Giacomo
Grounding LTLf specifications in images.
15:30 – 15:50
Conference Track Tommaso Carraro, Alessandro Daniele, Fabio Aiolli and Luciano Serafini
Logic Tensor Networks for Top-N Recommendation.


16:00 – 17:00: NeSy Session 2 [Recording]
Location: Sandby
Chair: Artur d'Avila Garcez


16:00 – 16:30
Invited Talk Forough Arabshahi
NeSy Invited talk.
16:30 – 16:50
Conference Track Matthew Morris, Pasquale Minervini and Phil Blunsom
Learning Proof Path Selection Policies in Neural Theorem Proving.
16:50 – 17:00
Conference Track Joseph Pober, Michael Luck and Odinaldo Rodrigues
From Subsymbolic to Symbolic: A Blueprint for Investigation (short paper).

17:00 - 17:45 Plenary Keynote (Noah Goodman) [Recording]- Location: Flitcroft
Chair: Denis Marescal

18:30: Welcome Dinner





Thursday 29th Sep



09:00 - 09:45 Plenary Keynote (José Hernández-Orallo) [Recording] - Location: Flitcroft
Chair: Ute Schmid


Parallel Sessions:


09:50 – 10:50: ILP/AAIP Session 3 (Scientific Reasoning) [Recording]
Location: Flitcroft
Chair: Ute Schmid


09:50 – 10:20
Conference Track Dany Varghese, Didac Barroso-Bergada, David A. Bohan and Alireza Tamaddoni-Nezhad
Efficient Abductive Learning of Microbial Interactions using Meta Inverse Entailment.
10:20 – 10:50
Conference Track Bettina Finzel, Simon Kuhn, David Tafler and Ute Schmid
Explaining with Attribute-Based and Relational Near Misses: An Interpretable Approach to Distinguishing Facial Expressions of Pain and Disgust.


11:00 – 12:00: ILP/AAIP Session 4 (Learning Temporal Models) [Recording]
Location: Flitcroft
Chair: Richard Evans


11:00 – 11:30
Conference Track Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen and Katsumi Inoue
Diagnosis of Event Sequences with LFIT.
11:30 - 12:00
Conference Track Nikos Katzouris and Georgios Paliouras
Learning Automata-Based Complex Event Patterns in Answer Set Programming.


09:50 – 10:50: HLC Session 3 (Cognition and Machine Learning) [Recording]
Location: Hodgson
Chair: Noah Goodman


09:50 – 10:20
Conference Track Caterina Moruzzi, Younes Bouhadjar and Melika Payvand
Prediction: An Algorithmic Principle Meeting Neuroscience and Machine Learning Halfway.
10:20 – 10:50
Conference Track Sam Blakeman and Denis Mareschal
Generating Explanations from Deep Reinforcement Learning Using Episodic Memories.


11:00 – 12:00: HLC Session 4 (Language Processing) [Recording]
Location: Hodgson
Chair: Noah Goodman


11:00 – 11:30
Conference Track Nadine El-Naggar, Pranava Madhyastha and Tillman Weyde
Experiments in Learning Dyck-1 Languages with Recurrent Neural Networks.
11:30 - 12:00
Conference Track Nick Ferguson, Liane Guillou, Kwabena Nuamah and Alan Bundy
Integrating Paraphrasing into the FRANK QA System.


09:50 – 10:50: NeSy Session 3 [Recording]
Location: Sandby
Chair: Ernesto Jimenez-Ruiz


09:50 – 10:10
Conference Track Marianna Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jonathan Lenchner, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava and Kristen Brent Venable
Combining Fast and Slow Thinking for Human-like and Efficient Decisions in Constrained Environments.
10:10 – 10:30
Conference Track Remy Kusters, Yusik Kim, Marine Collery, Christian de Sainte Marie and Shubham Gupta
Differentiable rule induction with learned relational features.
10:30 – 10:50
Conference Track Till Mossakowski
Modular design patterns for neural-symbolic integration: refinement and combination.

11:00 – 12:00: NeSy Session 4 [Recording]
Location: Sandby
Chair: Ernesto Jimenez-Ruiz


11:00 – 11:30
Invited Talk Hannes Leitgeb
NeSy Invited Talk.
11:30 – 11:50
Conference Track Martin Glauer, Robert West, Susan Michie and Janna Hastings
ESC-Rules: Explainable, Semantically Constrained Rule Sets.
11:50 – 12:00
Conference Track Simon Colton
Towards Educating Artificial Neural Systems (short paper).
12:00 – 12:30: Tea/Coffee & Poster presentation
Location: Drawing Room and Sitting Room (Main Lodge)
12:30 – 13:30 : Lunch Break
13:30 - 14:15 Plenary Keynote (Alexander Gray) [Recording] - Location: Flitcroft
Chair: Alireza Tamaddoni-Nezhad


Parallel Sessions:


14:20 – 15:50: ILP/AAIP Session 5 (Synthesis and Planning) [Recording]
Location: Flitcroft
Chair: Stephen Muggleton


14:20 – 14:50
AAIP Invited Talk Donato Malerba
Explainable Artificial Intelligence for Cybersecurity.
14:50 – 15:20
Conference Track Pat Langley
Learning Hierarchical Problem Networks for Knowledge-Based Planning.
15:20 – 15:50
Conference Track Aditya Challa, Ashwin Srinivasan, Michael Bain and Gautam Shroff
A ProgramSynthesis Challenge for ILP Based on ARC-like Problems.


16:00 – 17:00: ILP/AAIP Session 6 (Argumentation and Language) [Recording]
Location: Flitcroft
Chair: Noah Goodman


16:00 – 16:30
Conference Track Maurizio Proietti and Francesca Toni
Learning Assumption-based Argumentation Frameworks.
16:30 – 17:00
Conference Track Verena Blaschke, Thora Daneyko, Jekaterina Kaparina, Zhuge Gao and Johannes Dellert
Navigable atom-rule interactions in PSL models enhanced by rule verbalizations with an application to etymological inference.


14:50 – 15:50: HLC Session 5 (Modelling Cognition) [Recording]
Location: Hodgson
Chair: Mateja Jamnik


14:50 – 15:20
Conference Track Eugene Philalithis
The handshake problem for human-like coordination systems.
15:20 – 15:50
Conference Track Pat Langley and Edward Katz
Extending an Embodied Cognitive Architecture with Spatial Representation and Reasoning.


16:00 – 17:00: HLC Session 6 (Cognitive Validity) [Recording]
Location: Hodgson
Chair: Mateja Jamnik


16:00 – 16:30
Conference Track Pat Langley
The Computational Gauntlet of Human-Like Learning.
16:30 – 17:00
Conference Track Pat Langley
Representing and Processing Emotions in a Cognitive Architecture.


14:40 – 15:50: NeSy Session 5 [Recording]
Location: Sandby
Chair: Subramanian Ramamoorthy


14:40 – 15:00
General Track Qiming Bao, Alex Peng, Tim Hartill, Neset Tan, Zhenyun Deng, Michael Witbrock and Jiamou Liu
Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation.
15:00 - 15:30
Invited Talk William Cohen
NeSy Invited Talk: Knowledge Bases That Can Answer Users’ Questions.
15:30 – 15:50
Conference Track Atharv Sonwane, Abhinav Lalwani, Sweta Mahajan, Gautam Shroff and Lovekesh Vig
Neural Analogical Reasoning.


16:00: – 17:00: NeSy Session 6 [Recording]
Location: Sandby
Chair: Subramanian Ramamoorthy


16:00 – 16:20
Conference Track Vishwa Shah, Aditya Sharma, Gautam Shroff, Lovekesh Vig, Tirtharaj Dash and Ashwin Srinivasan
Knowledge-based Analogical Reasoning in Neuro-symbolic Latent Spaces.
16:20 – 16:40
Conference Track Oscar Javier Romero, Anthony Tomasic, Aaron Steinfeld and John Zimmerman
Propositional Reasoning via Neural Transformer Language Models.
16:40 – 17:00
Conference Track Adam Dahlgren Lindström and Savitha Sam Abraham
CLEVR-Math: A Dataset for Compositional Language, Visual and Mathematical Reasoning.

17:00 - 17:45 Plenary Keynote (Sumit Gulwani, virtual) [Recording] - Location: Flitcroft
Chair: Cèsar Ferri

18:30: Dinner





Friday 30th Sep



09:00 - 09:45 ILP Invited Talk (Véronique Ventos) [Recording] - Location: Flitcroft
Chair: Stephen Muggleton


09:50 – 11:30: Joint Recently Published [Recording]
Location: Flitcroft
Chair: Stephen Muggleton


09:50 - 10:10
IJCAI-22Stanislaw Purgał, David Cerna and Cezary Kaliszyk
Learning higher-order logic programs from failures.
10:10 - 10:30
AAAI-21Sebastijan Dumancic, Tias Guns and Andrew Cropper
Knowledge refactoring for inductive program synthesis.
10:30 - 10:50
ICLR-2022Alice Tarzariol, Martin Gebser, Konstantin Schekotihin and Mark Law
Efficient lifting of symmetry breaking constraints for complex combinatorial problems.
10:50 - 11:10
SIGMOD-20Jose Picado, John Davis, Arash Termehchy
Learning over dirty data without cleaning.
11:10 - 11:30
Knowledge-Based Systems-2022Matej Petković, Michelangelo Ceci, Gianvito Pio, Blaž Škrlj, Kristian Kersting and Sašo Džerosk
Relational tree ensembles and feature rankings.


11:20 – 12:00: NeSy Challenge [Recording]
Location: Sandby
Chair: Pranava Madhyastha


11:20 - 11:40
Pranava Madhyastha
Towards a benchmark suite for neural-symbolic approaches for learning and reasoning.
11:40-12:00
Discussion.


Parallel Sessions:


11:30 – 12:00: ILP Late-Breaking [Recording]
Location: Flitcroft
Chair: Stephen Muggleton


11:30 - 11:40
Late-Breaking Peter Jung and Ondřej Kuželka
Graph Generation with Graph on Generative Adversarial Networks.
11:40 - 11:50
Late-Breaking Martin Svatoš, Peter Jung, Filip Zelezny, Giuseppe Marra and Ondřej Kuželka
Learning to Generate Molecules From Small Datasets Using Neural Markov Logic Networks.
11:50 - 12:00
Late-Breaking Sebastian Mežnar, Matej Bevec, Nada Lavrač and Blaž Škrlj
A study in Ontology Completion with Graph-based Machine Learning.


11:30 – 12:00: HLC 2022 Virtual Poster Presentations [Recording]
Location: Hodgson
Chair: Alan Bundy


11:30 – 11:40
Poster Presentation Andy Williams
Human-Centric Functional Modelling.
11:40 – 11:50
Poster Presentation Cheng-Hao Cai and Alan Bundy
Repairing Numerical Equations in Analogically Blended Theories Using Reformation.
11:50 – 12:00
Poster Presentation Nadine El Naggar
Experiments in Learning Dyck-1 Languages with Recurrent Neural Networks.


12:00 – 13:00 : Lunch Break

13:00 – 13:45 Plenary Keynote (Luis Lamb) [Recording] - Location: Flitcroft
Chair: Alessandra Russo

13:45 – 14:30 Plenary Keynote (Pierre Lévy) [Recording] - Location: Flitcroft
Chair: Artur d'Avila Garcez


14:30 – 15:30 Panel Discussion (all invited speakers) [Recording]
Location: Flitcroft
Chair: Stephen Muggleton
15:30 – 16:00 Community Meeting & Closing Remarks [Recording]
Location: Flitcroft
Chair: Stephen Muggleton

16:00: Tea/Coffee & End