IJCLR 2025 Programme Outline
Please note that the times in the tables are in 24-hour format.
| Day 1 (Thursday 11th September 2025) | ||||
|---|---|---|---|---|
| 08:00–09:00 11/09/25 |
Conference Registration | |||
| 09:00–10:30 11/09/25 |
Tutorial 1: An Introduction to Abductive Learning [Wang-Zhou Dai] | |||
| 10:30–10:45 11/09/25 |
Tea/Coffee & Poster Session | |||
| 10:45–12:15 11/09/25 |
Tutorials 1 (cont.) | |||
| 12:15–13:15 11/09/25 |
Lunch | |||
| 13:15–15:45 11/09/25 |
Tutorials 2: Inductive Logic Programming: An Introduction and Recent Advances [Andrew Cropper] | |||
| 15:45–16:00 11/09/25 |
Tea/Coffee & Poster Session | |||
| 16:00–17:30 11/09/25 |
Tutorials 2 (cont.) | |||
| 17:30–19:30 11/09/25 |
Welcome Reception | |||
| Day 2 (Friday 12th September 2025) | ||||
|---|---|---|---|---|
| 09:00–09:15 12/09/25 |
IJCLR 2025 Welcome Address – Stephen Muggleton | |||
| 09:15–10:00 12/09/25 |
Invited Talk – Murray Shanahan | |||
| 10:00–11:00 12/09/25 |
Journal Paper Session 1 | |||
| 11:00–11:15 12/09/25 |
Tea/Coffee & Poster Session | |||
| 11:15–12:15 12/09/25 |
Main Track Presentations - Session 1 | |||
| 12:15–13:15 12/09/25 |
Lunch | |||
| 13:15–14:15 12/09/25 |
Main Track Presentations - Session 2 | |||
| 14:15–15:00 12/09/25 |
Late-breaking, Poster and Demo Presentations - Session 1 | |||
| 15:00–15:15 12/09/25 |
Tea/Coffee & Poster Session | |||
| 15:15–16:00 12/09/25 |
Recently Published Presentations - Session 1 | |||
| 16:00–16:45 12/09/25 |
Invited Talk – Stuart Russell | |||
| 16:45–17:15 12/09/25 |
Discussion Panel | |||
| 17:30–19:30 12/09/25 |
Social Dinner | |||
| Day 3 (Saturday 13th September 2025) | ||||
|---|---|---|---|---|
| 09:00–09:45 13/09/25 |
Invited Talk – Wang-Zhou Dai | |||
| 09:45–10:45 13/09/25 |
Journal Paper Session 2 | |||
| 10:45–11:00 13/09/25 |
Tea/Coffee & Poster Session | |||
| 11:00–12:00 13/09/25 |
Main Track Presentations - Session 3 | |||
| 12:00–13:00 13/09/25 |
Lunch | |||
| 13:00–14:00 13/09/25 |
Main Track Presentations - Session 4 | |||
| 14:00–14:45 13/09/25 |
Late-breaking, Poster and Demo Presentations - Session 2 | |||
| 14:45–15:00 13/09/25 |
Tea/Coffee & Poster Session | |||
| 15:00–15:45 13/09/25 |
Late-breaking, Poster and Demo Presentations - Session 3 | |||
| 15:45–16:30 13/09/25 |
Recently Published Presentations - Session 2 | |||
| 17:00–19:00 13/09/25 |
Social Walk (TBC) | |||
| Day 4 (Sunday 14th September 2025) | ||||
|---|---|---|---|---|
| 09:00–09:45 14/09/25 |
Invited Talk – Andrew Cropper | |||
| 09:45–10:45 14/09/25 |
Journal Paper Session 3 | |||
| 10:45–11:00 14/09/25 |
Tea/Coffee & Poster Session | |||
| 11:00–12:00 14/09/25 |
Main Track Presentations - Session 5 | |||
| 12:00–13:00 14/09/25 |
Lunch | |||
| 13:00–14:20 14/09/25 |
Main Track Presentations - Session 6 | |||
| 14:20–14:50 14/09/25 |
Late-breaking, Poster and Demo Presentations - Session 4 | |||
| 14:50–15:05 14/09/25 |
Tea/Coffee & Poster Session | |||
| 15:45–17:00 14/09/25 |
Closing Session and Community Meeting | |||
IJCLR 2025 Sessions
Day 1 (Thursday 11th September)
|
08:00 - 09:00 Conference Registration & Arrival Refreshments
Location: LT Lower Concourse |
|
09:00 - 10:30 Tutorials 1: An Introduction to Abductive Learning Wang-Zhou Dai Location: Lecture Theatre D |
|---|
|
10:30 – 10:45 Tea/Coffee & Poster presentation Location: LT Lower Concourse |
|
10:45 - 12:15 Tutorial 1 (cont.) Wang-Zhou Dai Location: Lecture Theatre D |
|---|
|
12:15 – 13:15 Lunch Location: LT Upper Concourse |
|
13:15- 15:45 Tutorial 2: Inductive Logic Programming: An Introduction and Recent Advances Andrew Cropper Location: Lecture Theatre D |
|---|
|
15:45- 16:00 Tea/Coffee & Poster presentation Location: LT Lower Concourse |
|
16:00- 17:30 Tutorial 2 (cont.) Andrew Cropper Location: Lecture Theatre D |
|---|
|
17:30 - 19:30 Welcome Reception Location: LT Lower Concourse |
Day 2 (Friday 12th September 2025)
|
08:00 - 09:00 Refreshments
09:00 - 09:15 Welcome Address (Stephen Muggleton) 09:15 - 10:00 Invited Talk (Murray Shanahan) Location: Lecture Theatre D Chair: Stephen Muggleton |
|
10:00 - 11:00: Journal Paper Session 1 Location: Lecture Theatre D Chair: Alireza Tamaddoni-Nezhad |
|---|
|
10:00 - 10:30
Lun Ai, Stephen Muggleton, Shi-Shun Liang, Geoff Baldwin Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models
10:30 - 11:00
Lucie Dvořáčková, Marcin Joachimia,; Michal Černý, Adriana Kubecová Vilém Sklenák, Tomas Kliegr Explaining word embeddings with perfect fidelity: A case study in predicting research impact |
|
11:00 – 11:15 Tea/Coffee & Poster presentation Location: LT Lower Concourse |
|
11:15 - 12:15 Main Track Presentations - Session 1 (LLMs & Logical Learning) Location: Lecture Theatre D Chair: Stefan Kramer |
|---|
|
11:15 - 11:35
Yun-Ze Li; Wang-Zhou Dai; Hao Meng; Xia Nu; Yi-Fei Xiao; Zhe-Li Hu; Yu-Cong He Enhancing LLM-Base Knowledge Retrieval by Automatic Workflow Induction
11:35 - 11:55
Felix Vossel; Till Mossakowski; Björn Gehrke Advancing Natural Language formalization to First Order Logic with Fine-tuned LLMs
11:55 - 12:15
Shraddha Surana; Ashwin Srinivasan; Michael Bain Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge |
|
12:15 – 13:15 Lunch Location: LT Upper Concourse |
|
13:15 - 14:15 Main Track Presentations - Session 2 (Advances in ILP) Location: Lecture Theatre D Chair: Stefan Kramer |
|---|
|
13:15 - 13:35
Stephen Muggleton ReDuce: Linear-time Inductive Compression using Greedy Folding
13:35 - 13:55
Rojina Panta; Vedant Khandelwal; Celeste Veronese; Amit Sheth; Daniele Meli; Forest Agostinelli Inductive logic programming for heuristic search
13:55 - 14:15
Lun Ai Boolean Matrix Logic Programming on the GPU |
|
14:15 - 15:00 Late-breaking, Poster and Demo Presentations - Session 1 Location: Lecture Theatre D Chair: Gerson Zaverucha |
|---|
|
14:15 - 14:30
Stephen Roth; Lennart Baur; Derian Boer; Stefan Kramer Enhancing Symbolic Machine Learning by Subsymbolic Representations
14:30 - 14:45
Tony Ribeiro; Yin Jun Phua; Tuan Nguyen; Katsumi Inoue Transformers Can Admit Mistakes and Backtrack
14:45 - 15:00
Zahra Chaghazardi, Saber Fallah, Alireza Tamaddoni-Nezhad Neurosymbolic Approaches for Robust and Explainable Traffic Sign Recognition in Autonomous Driving |
|
15:00 – 15:15 Tea/Coffee & Poster presentation Location: LT Lower Concourse |
|
15:15 - 16:00 Recently Published Presentations - Session 1 Location: Lecture Theatre D Chair: Gerson Zaverucha |
|---|
|
15:15 - 15:30
Pat Langley Learning Hierarchical Task Knowledge for Planning
15:30 - 15:45
Felix Weitkämper The generalised distribution semantics and projective families of distributions
15:45 - 16:00
Vojtěch Balek;Lukáš Sýkora;Vilém Sklenák;Tomas Kliegr LLM-based feature generation from text for interpretable machine learning |
|
16:00 - 16:45 Invited Talk (Stuart Russell) - Location: Lecture Theatre D Chair: Stephen Muggleton |
|
16:45 - 17:15 Discussion Panel - Location: Lecture Theatre D Chair: Stephen Muggleton |
|
17:30 - 19:30 Social Dinner (BBQ) Location: Campus Lake or Hillside Food Court (depending on the weather) |
Day 3 (Saturday 13th September 2025)
|
08:00 - 09:00 Refreshment
09:00 - 09:45 Invited Talk (Wang-Zhou Dai) - Location: Lecture Theatre D Chair: Alireza Tamaddoni-Nezhad |
|
09:45 - 10:45: Journal Paper Session 2 Location: Lecture Theatre D Chair: Alireza Tamaddoni-Nezhad |
|---|
|
09:45 - 10:15
Céline Rouveirol, Henry Soldano, Malik Kazi Aoual, Véronique Ventos Common abductive explanations in first order logic
10:15 - 10:45
Felix Weitkämper Scaling the weight parameters in Markov logic networks and relational logistic regression models |
|
10:45 – 11:00 Tea/Coffee & Poster presentation Location: LT Lower Concourse |
|
11:00 - 12:00 Main Track Presentations - Session 3 (Cognitive AI) Location: Lecture Theatre D Chair: Pat Langley |
|---|
|
11:00 - 11:20
Alexander Schneider; Ute Schmid Aleph Plays Codenames: Flexible Semantic Grouping by Humans, LLMs, and ILP
11:20 - 11:40
Tony Ribeiro; Maxime Folschette; Morgan Magnin; Katsumi Inoue; Tuan Nguyen; Kotaro Okazaki; Kuo-Yen Lo; Jérémie Poschmann; Antoine Roquilly Counterfactual Explanations Under Learning From Interpretation Transition
11:40 - 12:00
Slimane Larabi Can Mental Imagery Improve the Thinking Capabilities of AI Systems? |
|
12:00 – 13:00 Lunch Location: LT Upper Concourse |
|
13:00- 14:00 Main Track Presentations - Session 4 (Neural Symbolic AI) Location: Lecture Theatre D Chair: Wang-Zhou Dai |
|---|
|
13:00 - 13:20
Sopam Dasgupta; Sadaf MD Halim; Joaqu'in Arias; Elmer Salazar; Gopal Gupta P2C: Path to Counterfactuals
13:20 - 13:40
Simon Flügel; Martin Glauer; Till Mossakowski; Fabian Neuhaus ChemLog: Making MSOL Viable for Ontological Classification and Learning
13:40 - 14:00
Bhavan Vasu; Guiseppe Raffa; Prasad Tadepalli Local-to-Global Logical Explanations for Deep Vision Models |
|
14:00 - 14:45 Late-breaking, Poster and Demo Presentations - Session 2 Location: Lecture Theatre D Chair: Wang-Zhou Dai |
|---|
|
14:00 - 14:15
Dominique Bouthinon; Junkang Li; Véronique Ventos Kimind: a new test bed for learning and reasoning
14:15 - 14:30
Dany Varghese;Alfie Anthony Treloar; Shubhi Verma; Alireza Tamaddoni-Nezhad; Alan Hunter Human–Machine Learning for Safe and Legal Autonomous Navigation using Inductive Logic Programming
14:30 - 14:45
Shubhi Verma; Dany Varghese; Alfie Anthony Treloar; Alan Hunter; Alireza Tamaddoni-Nezhad From Rules to Learning and Reasoning: A Case Study in Explainable Legal Compliance for Autonomous Systems Using Inductive Logic Programming |
|
14:45 – 15:00 Tea/Coffee & Poster presentation Location: LT Lower Concourse |
|
15:00 - 15:45 Late-breaking, Poster and Demo Presentations - Session 3 Location: Lecture Theatre D Chair: TBC |
|---|
|
15:00 - 15:15
Kateřina Hrudková; Tomas Kliegr ILP Meets RDF: Enabling Interoperability Between Popper and AMIE Graph Rule Learning
15:15 - 15:30
Nikolai-Iraj Sanamrad; Carlos Monserrat; Maria José Ramírez-Quintana ASAp: Automated Supervision Application for Student Task Monitoring
15:30 - 15:45
Vedat Yasar; Kishore Srinivasan; Sheila Favaedi; Shiva Favaedi; Harsh Marthak; Aqib Hafiz; Ali Shahebrahimi; Graeme Gourlay; Alireza Tamaddoni Nezhad Integrating Language Models into Inductive Logic Programming: Enhancing Knowledge Integration and Human-Centric Explainability |
|
15:45 - 16:30 Recently Published Presentations - Session 2 Location: Lecture Theatre D Chair: Tomas Kliegr |
|---|
|
15:45 - 16:00
Akihiro Yamamoto Implementing Derivations of Definite Logic Programs with Self-Attention Networks: Revised and Extended Verison
16:00 - 16:15
Victor Verreet; Lennert De Smet; Luc De Raedt; Emanuele Sansone EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic
16:15 - 16:30
Daniel Cyrus; Dany Varghese; Alireza Tamaddoni-Nezhad Numerical-Symbolic Learning from Biomedical Data |
|
17:00 - 19:00 Social Walk Location: TBC |
Day 4 (Sunday 14th September 2025)
|
08:00 - 09:00 Refreshments
09:00 - 09:45 Invited Talk (Andrew Cropper) - Location: Lecture Theatre E Chair: TBC |
|
09:45 - 10:45: Journal Paper Session 3 Location: Lecture Theatre E Chair: TBC |
|---|
|
09:45 - 10:15
Cainã F. Pereira; Daniel S. Menasché; Gerson Zaverucha; Aline Paes; Valmir C. Barbosa A Utility-Driven Approach to Instance-Based Transfer Learning for Relational Domains
10:15 - 10:45
Xin-Hao Zhu, Shao-Qun Zhang, Yi-Han Wang, Wen-Chao Hu, Jia-Yang Zhou, Wang-Zhou Dai, Zhi-Hua Zhou Bridge Bidding by Abductive Learning |
|
10:45 – 11:00 Tea/Coffee & Poster presentation Location: LT Lower Concourse |
|
11:00 - 12:00 Main Track Presentations - Session 5 (Statistical Relational Learning) Location: Lecture Theatre E Chair: TBC |
|---|
|
11:00 - 11:20
Zora Wurm; Kilian Rückschloß; Felix Weitkämper From probability to causality in probabilistic logic programming
11:20 - 11:40
Elisabetta Gentili; Alice Bizzarri; Damiano Azzolini; Fabrizio Riguzzi The Gradient Semiring for Probabilistic Answer Set Programming and Its Application to Parameter Learning
11:40 - 12:00
Fadwa Idlahcen; Peter Jung; Giuseppa Marra; Ondrej Kuzelka Neural Markov Logic Networks with Tree Axiom |
|
12:00 – 13:00 Lunch Location: LT Upper Concourse |
|
13:00- 14:20 Main Track Presentations - Session 6 (ILP for Explainable AI) Location: Lecture Theatre E Chair: TBC |
|---|
|
13:00 - 13:20
Nijesh Upreti Satisfiability Modulo Theory Meets Inductive Logic Programming
13:20 - 13:40
Moitree Basu Specification of Declarative Privacy Constraints in Artificial Intelligence
13:40 - 14:00
Aswathy Wilson; J Anitha; Dany Varghese Explainable and Verifiable ASD Detection via Inductive Logic Programming: A Comparative Study with SHAP and LIME
14:00 - 14:20
Dany Varghese; Alireza Tamaddoni-Nezhad Symbolic Regression via Inductive Logic Programming: An Explainable Alternative to Black-Box Models |
|
14:20 - 14:50 Late-breaking, Poster and Demo Presentations - Session 4 Location: Lecture Theatre E Chair: TBC |
|---|
|
14:20 - 14:35
James Trewern Prolog2: Meta-Interpretive Learning system
14:35 - 14:50
Matthew Woodruff; Alireza Tamaddoni-Nezhad An ILP Approach to Interpretable Educational Risk Assessment |
|
14:50 – 15:05 Tea/Coffee & Poster presentation Location: LT Lower Concourse |
|
15:05 - 16:00 Closing Session and Community Meeting Location: Lecture Theatre E |