Poster Sessions
Location: Drawing Room and Sitting Room (Main Lodge)

Following discussions among the organisers, it has been decided to provide poster presenter a slot within one of the Plenary Poster session, rather than a brief 5-minute slot within the ILP conference programme. This will provide you with more time to discuss your results with interested delegates from all sub-conferences attending IJCLR2022.

The number in the front of each poster below is the poster’s id and it may be used to locate a physical poster in the Drawing Room and Sitting Room of the Main Lodge (by its presenter, or the attendants of the poster session). The posters are split between the three sessions on 28th and 29th. Poster presenters are expected to be by their posters at least on the designated day, but they can do so on both days.

Wednesday 28th, 11:00 – 11:45 BST
Location: Drawing Room and Sitting Room (Main Lodge)


Aaron Stockdill, Grecia Garcia Garcia, Peter Cheng, Daniel Raggi and Mateja Jamnik 1. Cognitive Analysis for Representation Change Adam Dahlgren Lindström and Savitha Sam Abraham 2. CLEVR-Math: A Dataset for Compositional Language, Visual and Mathematical Reasoning Aditya Challa, Ashwin Srinivasan, Michael Bain and Gautam Shrof 3. A Program-Synthesis Challenge for ILP Based on ARC-like Problems Alice Tarzariol, Martin Gebser, Konstantin Schekotihin and Mark Law 4. Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems (ICLR-2022) Atharv Sonwane, Abhinav Lalwani, Sweta Mahajan, Gautam Shroff and Lovekesh Vig 5. Neural Analogical Reasoning Bettina Finzel, Simon Kuhn, David Tafler and Ute Schmid 6. Explaining with Attribute-Based and Relational Near Misses: An Interpretable Approach to Distinguishing Facial Expressions of Pain and Disgust Brigt Havardstun, Cesar Ferri, Jose Hernandez-Orallo, Pekka Parviainen and Jan Arne Telle 7. On the Trade-off between Fidelity and Teaching Complexity Caterina Moruzzi, Younes Bouhadjar and Melika Payvand 8. Prediction: An Algorithmic Principle Meeting Neuroscience and Machine Learning Halfway Celine Hocquette and Andrew Cropper 9. Learning Programs With Magic Values Cheng-Hao Cai and Alan Bundy 10. Repairing Numerical Equations in Analogically Blended Theories Using Reformation Damiano Azzolini, Elena Bellodi and Fabrizio Riguzzi 11. Learning the Parameters of Probabilistic Answer Set Programs Daniel Cunnington, Mark Law, Alessandra Russo and Jorge Lobo 12. FFNSL: Feed-Forward Neural-Symbolic Learner Daniel Raggi and Aaron Stockdill 13. Oruga: an avatar of Representational Systems Theory Dany Varghese, Didac Barroso-Bergada, David A. Bohan and Alireza Tamaddoni-Nezhad 14. Efficient Abductive Learning of Microbial Interactions using Meta Inverse Entailment Elena Umili, Roberto Capobianco and Giuseppe De Giacomo 15. Grounding LTLf specifications in images Eleonora Giunchiglia, Mihaela Stoian, SalmancKhan , Fabio Cuzzolin and Thomas Lukasiewicz 16. ROAD-R: The Autonomous Driving Dataset with Logical Requirements Alessandro Daniele, Emile van Krieken, Luciano Serafini and Frank van Harmelen 17. Refining Neural Network Predictions Using Background Knowledge Eriq Augustine, Connor Pryor, Charles Dickens, Jay Pujara, William Yang Wang and Lise Getoor 18. Visual Sudoku Puzzle Classification: A Suite of Collective Neuro-Symbolic Tasks

Aaron Stockdill, Grecia Garcia Garcia, Peter Cheng, Daniel Raggi and Mateja Jamnik
1. Cognitive Analysis for Representation Change

Adam Dahlgren Lindström and Savitha Sam Abraham
2. CLEVR-Math: A Dataset for Compositional Language, Visual and Mathematical Reasoning

Aditya Challa, Ashwin Srinivasan, Michael Bain and Gautam Shrof
3. A Program-Synthesis Challenge for ILP Based on ARC-like Problems

Alice Tarzariol, Martin Gebser, Konstantin Schekotihin and Mark Law
4. Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems (ICLR-2022)

Atharv Sonwane, Abhinav Lalwani, Sweta Mahajan, Gautam Shroff and Lovekesh Vig
5. Neural Analogical Reasoning

Bettina Finzel, Simon Kuhn, David Tafler and Ute Schmid
6. Explaining with Attribute-Based and Relational Near Misses: An Interpretable Approach to Distinguishing Facial Expressions of Pain and Disgust

Brigt Havardstun, Cesar Ferri, Jose Hernandez-Orallo, Pekka Parviainen and Jan Arne Telle
7. On the Trade-off between Fidelity and Teaching Complexity

Caterina Moruzzi, Younes Bouhadjar and Melika Payvand
8. Prediction: An Algorithmic Principle Meeting Neuroscience and Machine Learning Halfway

Celine Hocquette and Andrew Cropper
9. Learning Programs With Magic Values

Cheng-Hao Cai and Alan Bundy
10. Repairing Numerical Equations in Analogically Blended Theories Using Reformation

Damiano Azzolini, Elena Bellodi and Fabrizio Riguzzi
11. Learning the Parameters of Probabilistic Answer Set Programs

Daniel Cunnington, Mark Law, Alessandra Russo and Jorge Lobo
12. FFNSL: Feed-Forward Neural-Symbolic Learner

Daniel Raggi and Aaron Stockdill
13. Oruga: an avatar of Representational Systems Theory

Dany Varghese, Didac Barroso-Bergada, David A. Bohan and Alireza Tamaddoni-Nezhad
14. Efficient Abductive Learning of Microbial Interactions using Meta Inverse Entailment

Elena Umili, Roberto Capobianco and Giuseppe De Giacomo
15. Grounding LTLf specifications in images

Eleonora Giunchiglia, Mihaela Stoian, SalmancKhan , Fabio Cuzzolin and Thomas Lukasiewicz
16. ROAD-R: The Autonomous Driving Dataset with Logical Requirements

Alessandro Daniele, Emile van Krieken, Luciano Serafini and Frank van Harmelen
17. Refining Neural Network Predictions Using Background Knowledge

Eriq Augustine, Connor Pryor, Charles Dickens, Jay Pujara, William Yang Wang and Lise Getoor
18. Visual Sudoku Puzzle Classification: A Suite of Collective Neuro-Symbolic Tasks

Wednesday 28th, 14:15 – 14:50 BST
Location: Drawing Room and Sitting Room (Main Lodge)


Eugene Philalithis 19. The handshake problem for human-like coordination systems Felix Weitkämper 20. Functional lifted Bayesian networks: Statistical relational learning and reasoning with relative frequencies Hikaru Shindo, Viktor Pfanschilling, Devendra Dhami and Kristian Kersting 21. alphaILP: Thinking Visual Scenes as Differentiable Logic Programs Joseph Pober, Michael Luck and Odinaldo Rodrigues 22. From Subsymbolic to Symbolic: A Blueprint for Investigation Jose Picado, John Davis, Arash Termehchy, Ga Young Lee 23. Learning over dirty data without Cleaning (SIGMOD-20) Marianna Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jonathan Lenchner, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava and Kristen Brent Venable 24. Combining Fast and Slow Thinking for Human-like and Efficient Decisions in Constrained Environments Martin Glauer, Robert West, Susan Michie and Janna Hastings 25. ESC-Rules: Explainable, Semantically Constrained Rule Sets Martin Svatoš, Peter Jung, Filip Zelezny, Giuseppe Marra and Ondřej Kuželka 26. Learning to Generate Molecules From Small Datasets Using Neural Markov Logic Networks Matthew Morris, Pasquale Minervini, Phil Blunsom 27. Learning Proof Path Selection Policies in Neural Theorem Proving Mattijs Baert, Sam Leroux and Pieter Simoens 28. Inverse Reinforcement Learning Through Logic Constraint Inference Maurizio Proietti and Francesca Toni 29. Learning Assumption-Based Argumentation Frameworks Nadine El-Naggar, Pranava Madhyastha and Tillman Weyde 30. Experiments in Learning Dyck-1 Languages with Recurrent Neural Networks Nick Ferguson, Liane Guillou, Kwabena Nuamah and Alan Bundy 31. Integrating Paraphrasing into the FRANK QA System Nikos Katzouris and Georgios Paliouras 32. Learning Automata-Based Complex Event Patterns in Answer Set Programming Oscar Javier Romero, Anthony Tomasic, Aaron Steinfeld and John Zimmerman 33. Propositional Reasoning via Neural Transformer Language Models Pat Langley and Edward Katz 34. Extending an Embodied Cognitive Architecture with Spatial Representation and Reasoning Pat Langley 35. Representing and Processing Emotions in a Cognitive Architecture Pat Langley 36. The Computational Gauntlet of Human-Like Learning

Eugene Philalithis
19. The handshake problem for human-like coordination systems

Felix Weitkämper
20. Functional lifted Bayesian networks: Statistical relational learning and reasoning with relative frequencies

Hikaru Shindo, Viktor Pfanschilling, Devendra Dhami and Kristian Kersting
21. alphaILP: Thinking Visual Scenes as Differentiable Logic Programs

Joseph Pober, Michael Luck and Odinaldo Rodrigues
22. From Subsymbolic to Symbolic: A Blueprint for Investigation

Jose Picado, John Davis, Arash Termehchy, Ga Young Lee
23. Learning over dirty data without Cleaning (SIGMOD-20)

Marianna Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jonathan Lenchner, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava and Kristen Brent Venable
24. Combining Fast and Slow Thinking for Human-like and Efficient Decisions in Constrained Environments

Martin Glauer, Robert West, Susan Michie and Janna Hastings
25. ESC-Rules: Explainable, Semantically Constrained Rule Sets

Martin Svatoš, Peter Jung, Filip Zelezny, Giuseppe Marra and Ondřej Kuželka
26. Learning to Generate Molecules From Small Datasets Using Neural Markov Logic Networks

Matthew Morris, Pasquale Minervini, Phil Blunsom
27. Learning Proof Path Selection Policies in Neural Theorem Proving

Mattijs Baert, Sam Leroux and Pieter Simoens
28. Inverse Reinforcement Learning Through Logic Constraint Inference

Maurizio Proietti and Francesca Toni
29. Learning Assumption-Based Argumentation Frameworks

Nadine El-Naggar, Pranava Madhyastha and Tillman Weyde
30. Experiments in Learning Dyck-1 Languages with Recurrent Neural Networks

Nick Ferguson, Liane Guillou, Kwabena Nuamah and Alan Bundy
31. Integrating Paraphrasing into the FRANK QA System

Nikos Katzouris and Georgios Paliouras
32. Learning Automata-Based Complex Event Patterns in Answer Set Programming

Oscar Javier Romero, Anthony Tomasic, Aaron Steinfeld and John Zimmerman
33. Propositional Reasoning via Neural Transformer Language Models

Pat Langley and Edward Katz
34. Extending an Embodied Cognitive Architecture with Spatial Representation and Reasoning

Pat Langley
35. Representing and Processing Emotions in a Cognitive Architecture

Pat Langley
36. The Computational Gauntlet of Human-Like Learning

Thursday 29th, 12:00 – 12:30 BST
Location: Drawing Room and Sitting Room (Main Lodge)


Peter Jung and Ondřej Kuželka 37. Graph Generation with Graph on Generative Adversarial Networks Qiming Bao, Alex Peng, Tim Hartill, Neset Tan, Zhenyun Deng, Michael Witbrock and Jiamou Liu 38. Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of Distribution Generalisation Remy Kusters, Yusik Kim, Marine Collery, Christian de Sainte Marie and Shubham Gupta 39. Differentiable rule induction with learned relational features Sam Blakeman and Denis Marescal 40. Generating Explanations from Deep Reinforcement Learning Using Episodic Memories Sebastijan Dumancic, Tias Guns and Andrew Cropper 41. Knowledge Refactoring for Inductive Program Synthesis (AAAI-21) Sebastian Mežnar, Matej Bevec, Nada Lavrač and Blaž Škrlj 42. A study in Ontology Completion with Graph-based Machine Learning Simon Colton 43. Towards Educating Artificial Neural Systems Stassa Patsantzis and Stephen Muggleton 44. Meta-interpretive learning as metarule specialisation (Machine Learning Journal 2022) Stanisław Purgał, David Cerna and Cezary Kaliszyk 45. Learning Higher-Order Logic Programs From Failures (IJCAI-22) Thais Luca, Aline Paes and Gerson Zaverucha 46. Combining word embeddings-based similarity measures for transfer learning across relational domains Till Mossakowski 47. Modular design patterns for neural-symbolic integration: refinement and combination Tomáš Kliegr 48. RDFRules: Making RDF Rule Mining Easier and Even More Efficient Tommaso Carraro, Alessandro Daniele, Fabio Aiolli and Luciano Serafini 49. Logic Tensor Networks for Top-N Recommendation Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen and Katsumi Inoue 50. Diagnosis of Event Sequences with LFIT Verena Blaschke, Thora Daneyko, Jekaterina Kaparina, Zhuge Gao and Johannes Dellert 51. Navigable atom-rule interactions in PSL models enhanced by rule verbalizations, with an application to etymological inference Vishwa Shah, Aditya Sharma, Gautam Shroff, Lovekesh Vig, Tirtharaj Dash and Ashwin Srinivasan 52. Knowledge-Based Analogical Reasoning in Neuro-symbolic Latent Spaces Xu Li and Alan Bundy 53. An overview of the ABC Repair System for Datalog-like Theories

Peter Jung and Ondřej Kuželka
37. Graph Generation with Graph on Generative Adversarial Networks

Qiming Bao, Alex Peng, Tim Hartill, Neset Tan, Zhenyun Deng, Michael Witbrock and Jiamou Liu
38. Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of Distribution Generalisation

Remy Kusters, Yusik Kim, Marine Collery, Christian de Sainte Marie and Shubham Gupta
39. Differentiable rule induction with learned relational features

Sam Blakeman and Denis Marescal
40. Generating Explanations from Deep Reinforcement Learning Using Episodic Memories

Sebastijan Dumancic, Tias Guns and Andrew Cropper
41. Knowledge Refactoring for Inductive Program Synthesis (AAAI-21)

Sebastian Mežnar, Matej Bevec, Nada Lavrač and Blaž Škrlj
42. A study in Ontology Completion with Graph-based Machine Learning

Simon Colton
43. Towards Educating Artificial Neural Systems

Stassa Patsantzis and Stephen Muggleton
44. Meta-interpretive learning as metarule specialisation (Machine Learning Journal 2022)

Stanisław Purgał, David Cerna and Cezary Kaliszyk
45. Learning Higher-Order Logic Programs From Failures (IJCAI-22)

Thais Luca, Aline Paes and Gerson Zaverucha
46. Combining word embeddings-based similarity measures for transfer learning across relational domains

Till Mossakowski
47. Modular design patterns for neural-symbolic integration: refinement and combination

Tomáš Kliegr
48. RDFRules: Making RDF Rule Mining Easier and Even More Efficient

Tommaso Carraro, Alessandro Daniele, Fabio Aiolli and Luciano Serafini
49. Logic Tensor Networks for Top-N Recommendation

Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen and Katsumi Inoue
50. Diagnosis of Event Sequences with LFIT

Verena Blaschke, Thora Daneyko, Jekaterina Kaparina, Zhuge Gao and Johannes Dellert
51. Navigable atom-rule interactions in PSL models enhanced by rule verbalizations, with an application to etymological inference

Vishwa Shah, Aditya Sharma, Gautam Shroff, Lovekesh Vig, Tirtharaj Dash and Ashwin Srinivasan
52. Knowledge-Based Analogical Reasoning in Neuro-symbolic Latent Spaces

Xu Li and Alan Bundy
53. An overview of the ABC Repair System for Datalog-like Theories

Poster Sessions Location: Drawing Room and Sitting Room (Main Lodge)

Wednesday 28th, 11:00 – 11:45 BST Location: Drawing Room and Sitting Room (Main Lodge)

Wednesday 28th, 14:15 – 14:50 BST Location: Drawing Room and Sitting Room (Main Lodge)

Thursday 29th, 12:00 – 12:30 BST Location: Drawing Room and Sitting Room (Main Lodge)

Poster Sessions
Location: Drawing Room and Sitting Room (Main Lodge)

Wednesday 28th, 11:00 – 11:45 BST
Location: Drawing Room and Sitting Room (Main Lodge)

Wednesday 28th, 14:15 – 14:50 BST
Location: Drawing Room and Sitting Room (Main Lodge)

Thursday 29th, 12:00 – 12:30 BST
Location: Drawing Room and Sitting Room (Main Lodge)