Program &middot; International Joint Conference on Learning & Reasoning

Program

Select Time Zone:

Please note that the times in the tables are in 24-hour format.

Day 1 (19th)
14:00-20:00 19/08/24	Registration

Day 2 (20th)
8:30-8:50 20/08/24	Opening and Taking photo		Session Chair: Wang-Zhou Dai	Zijin Hall, NUICC
8:50-9:35 20/08/24	Measurement and Evaluation of Intelligent Robots Video	Claude Sammut		Zijin Hall, NUICC
9:35-10:20 20/08/24	The Knowledge Revolution Video	Wray Buntine		Zijin Hall, NUICC
10:20-10:40 20/08/24	Tea Break
10:40-11:25 20/08/24	Neuro-Symbolic Concept Learning Slides Video	Jiajun Wu	Session Chair: Yao-Xiang Ding	Zijin Hall, NUICC
11:25-12:30 20/08/24	Accepted Paper Spotlights 1		Session Chair: Yao-Xiang Ding	Zijin Hall, NUICC
12:30-13:30 20/08/24	Lunch Break
13:30-14:30 20/08/24	Accepted Paper Spotlights 2		Session Chair: Wang-Zhou Dai	Zijin Hall, NUICC
14:30-14:50 20/08/24	Tea Break
14:50-15:35 20/08/24	How to Make Logics Neurosymbolic	Luc De Raedt	Session Chair: Cesar Ferri	Zijin Hall, NUICC
15:35-16:20 20/08/24	Near-miss Explanations to Teach Humans and Machines Slides Video	Ute Schmid	Session Chair: Cesar Ferri	Zijin Hall, NUICC
16:20-18:00 20/08/24	Tea Break & Poster Session
18:00-20:00 20/08/24	Reception at NUICC

Day 3 (21st)
9:00-9:45 21/08/24	Why Does Chain of Thought Work? Explaining Why versus Explaining How Slides	William Cohen	Session Chair: Cunjing Ge	Zijin Hall, NUICC
9:45-10:30 21/08/24	Physics-Informed Machine Learning	Jun Zhu	Session Chair: Cunjing Ge	Zijin Hall, NUICC
10:30-10:50 21/08/24	Tea Break
10:50-11:35 21/08/24	Towards semi-supervised relational learning	Sašo Džeroski	Session Chair: Stephen Muggleton	Zijin Hall, NUICC
11:35-12:20 21/08/24	Grassroots: A Radical Architecture for an Equitable Digital Society	Ehud Shapiro	Session Chair: Stephen Muggleton	Zijin Hall, NUICC
12:20-13:30 21/08/24	Lunch Break
13:30-14:30 21/08/24	Panel Discussion: How to Interface Learning and Reasoning? Video	Keynote speakers	Host: Wang-Zhou Dai	Room 111, The Department of Computer Science Building. (Bus leaves at 13:25 from NUICC)
14:30-18:00 21/08/24	Tea Break & Poster Session

Day 4 (22nd)
9:00-9:45 22/08/24	Algebraic Logic Programming and Learning	Katsumi Inoue	Session Chair: Alireza Tamaddoni Nezhad	Zhongda Hall, NUICC
9:45-10:30 22/08/24	Reasoning with Counting Models of Formulast Slides	Cunjing Ge	Session Chair: Alireza Tamaddoni Nezhad	Zhongda Hall, NUICC
10:30-10:50 22/08/24	Tea Break
10:50-11:35 22/08/24	Textual entailment with LLMs and symbolic AI approaches Slides	Xue Li	Session Chair: Neil Bramley	Zhongda Hall, NUICC
11:35-14:00 22/08/24	Lunch Break
14:00-14:30 22/08/24	Poster Session			Zhongda Hall, NUICC
14:30-15:15 22/08/24	Evaluating the spatial reasoning capabilities of Large Language Models (LLMs)Video	Anthony Cohn	Session Chair: Xue Li	Zhongda Hall, NUICC
15:30-16:15 22/08/24	AI as a model for human-like learning and reasoning Slides	Denis Mareschal	Session Chair: Xue Li	Zhongda Hall, NUICC
16:15-17:30 22/08/24	Closing & Community Meeting

Session	Title	Presenter	Location
Accepted Paper Spotlights 1 Sep 20th 11:25-12:30	An Inductive Logic Programming approach for feature-range discovery Slides Poster Video	Daniel Cyrus	Zijin Hall, NUICC
	One-Shot Learning of Autonomous Behaviour: A Meta-interpretive Learning approach Slides Video	Dany Varghese
	Differentiable Inductive Logic Programming in High-Dimensional Space Slides	David M. Cerna
	Meta-Interpretive learning as Second Order Resolution Slides Poster	James Trewern
	Learning Rules Explaining Interactive Theorem Proving Tactic Prediction Slides Poster	Liao Zhang
	An Algebraic Framework for Hierarchical Probabilistic Abstraction	Nijesh Upreti
	Towards an Automatic Student Supervisor System using Declarative Languages Slides Poster Video	Nikolai-Iraj Sanamrad
	From Model-Based Learning to Model-Free Behaviour with Meta-Interpretive Learning Slides Poster	Stassa Patsantzis
	Inventing Recursive Predicates by Sampling and Folding Deduced and Abduced Atoms Slides Poster	Taosheng Qiu
	Learning From Interpretation Transitions with Unknowns Slides Poster Video	Tony Ribeiro
	Leveraging Inductive Logic Programming and Deep Learning for Trustworthy Vision Poster	Zahra Chaghazardi
	Pre-Training Meta-Rule Selection Policy for Visual Generative Abductive Learning	Yu Jin
	Towards enhancing LLMs with logic-based reasoning: A Meta Interpretive Learning approach	Dany Varghese

Session	Title	Presenter	Location
Accepted Paper Spotlights 2 Sep 20th 13:30-14:30	Learning Differentiable Logic Programs for Abstract Visual Reasoning Slides Poster	Hikaru Shindo	Zijin Hall, NUICC
	Principled diverse counterfactuals in multilinear models	Ioannis Papantonis
	Neural RELAGGS Slides Poster	Lukas Pensel
	Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback Slides Poster	Daniele Meli
	Memory Strategy Based Meta-Interpretive Learning	Tian Cong
	Object-Centric Neuro-Argumentative Learning Slides Poster	Abdul Rahman Jacob
	Reasoning about Neural Network Perception in the Situation Calculus Poster	Daxin Liu
	Harnessing the Power of Semi-Structured Knowledge and LLMs with Triplet-Based Prefiltering for Question Answering Slides Poster	Derian Boer
	Active learning of digenic functions with boolean matrix logic programming Poster Video	Lun Ai
	Benchmarking in Neuro-Symbolic AI Slides Poster	Robin Manhaeve

Note on Recent Published Papers:

Due to the tight schedule of our conference, which primarily features plenary talks, recent published papers will be prensented in posters only. The posters will be displayed throughout the three-day conference in the designated poster area.