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 |