Time\ Location	Progress	Expedition	Quest	TransitZone
09:00 – 10:00	EurAI session
10:00 – 10:45				Posters session 3 & Coffee
10:45 – 12:00	Natural Language Processing	Deep Learning	Transfer and online learning
12:00 – 13:00		KION lunch meeting		Lunch
13:00 – 14:30	Evolutionary Computing	Impact ICAI	Reinforcement Learning
14:30 – 15:15				Posters session 4 & Demos & Coffee
15:15 – 16:30	Machine Learning Classification and Time Series	Knowledge Representation and Reasoning	Data and pattern mining
16:45 – 17:45	FACT session
18:00 – 20:00				Dinner

---

Sessions

Natural Language Processing
Session chair: Jieying Chen Progress	10:45-12:00
Qixiang Fang, Daniel Oberski, Dong Nguyen	PATCH! Psychometrics-AssisTed benChmarking of Large Language Models: A Case Study of Proficiency in 8th Grade Mathematics
Thales Bertaglia, Lily Heising, Rishabh Kaushal, Adriana Iamnitchi	InstaSynth: Opportunities and Challenges in Generating Synthetic Instagram Data with chatGPT for Sponsored Content Detection
Qixiang Fang, Anastasia Giachanou, Ayoub Bagheri	Improving Stance Detection by Leveraging Measurement Knowledge from Social Sciences: A Case Study of Dutch Political Tweets and Traditional Gender Role Division
Jamie Wright	Examining Iconicity Information in Semantic and Phonetic Word Embeddings
Alexander G. Padula, Dennis J.N.J. Soemers	Exploring RL-based LLM Training for Formal Language Tasks with Programmed Rewards

^{_{Go to top}}

Deep Learning
Session chair: Lynn Houthuys Expedition	10:45-12:00
Aniek Eijpe, Valentina Corbetta, Kalina Chupetlovska, Regina Beets-Tan, Wilson Silva	Enhancing Cross-Modal Medical Image Segmentation through Compositionality
Natasha T.J. van den Berg, Bram O. Broekgaarden, Dionysia P.A. Mahieu, Jolijn G.M.J. Martens, Jonas M.Niederle, Rianne Schouten and Wouter Duivesteijn	Generating MNAR Missingness in Image Data, with Additional Evaluation of MisGAN
Stig Hellemans, Andres Algaba, Vincent Ginis	Flexible Counterfactual Explanations with Generative Models
Francesca Marogna, Martijn van Leeuwen, Fabian Hoitsma, Gorkem Saygili, Sharon Ong	Generating Artificial PET Scans from Low Dose CT Scans with an Adapted Dual Diffusion Implicit Bridges (DDIBs) Model
Pierre Gabriel Bibal Sobeaux	Improving Perception Metrics in Image Denoising by Using a Diffusion-Like Process atop a UNet Model

^{_{Go to top}}

Transfer and online learning
Session chair: Arnoud Visser Quest	10:45-11:30
Dennis J.N.J. Soemers, Vegard Mella, Éric Piette, Matthew Stephenson, Cameron Browne, Olivier Teytaud	Towards a General Transfer Approach for Policy-Value Networks
Mandani Ntekouli, Gerasimos Spanakis, Lourens Waldorp, Anne Roefs	Enhanced Boosting-Based Transfer Learning for Modeling Ecological Momentary Assessment Data
Kim van den Houten, David Tax, Esteban Freydell, Mathijs de Weerdt	Learning from Scenarios for Repairable Stochastic Scheduling

^{_{Go to top}}

Evolutionary Computing
Session chair: Dirk Thierens Progress	13:00-14:30
Jippe Hoogeveen, Marjan van den Akker, Han Hoogeveen	Solving the Casting problem using Column Generation; better results with 100 variables instead of 1 billion
Benoît Alcaraz, Aleks Knoks, David Streit	Estimating Weights of Reasons Using Metaheuristics: A Hybrid Approach to Machine Ethics
Tobias Deinböck, Chu-Hsuan Hsueh, Kokolo Ikeda	Procedurally Generating Natural-Looking Villages in Minecraft with Ant Colony Optimization Algorithms
Amaury Guichard, Quentin Cappart	Learning Crossover Operators in Genetic Algorithms: Application to the Capacitated Vehicle Routing Problem
Roel Brouwer, Marjan van den Akker, Han Hoogeveen	A Hybrid Local Search Algorithm for the Continuous Energy-Constrained Scheduling Problem

^{_{Go to top}}

Impact ICAI
Session chair: moderators Expedition	13:00-14:30
Siddique Sheikh	Introduction to the session
Kim van den Houten	The Flow Must Go On: Handling Uncertainties in Biomanufacturing Scheduling
Jinke Oostvogel	Getting the priorities straight: A qualitative case study of the values driving AI adoption in healthcare
Alireza Samadifardheris	Deep Learning for Resolution Enhancement of Quantitative MR Maps Using High-Resolution Weighted Images
Talha Özüdoğru	AI as a Fragile Ally: Exploring Human-AI Collaboration
Erkan Basar	To What Extent Are LLMs Capable of Generating Substantial Reflections for Motivational Interviewing Counselling Chatbots? A Human Evaluation
Roos Scheffers	Related Explanations in Formal Argumentation, an Empirical Study
Siddique Sheikh	AI trustworthiness
Siddique Sheikh	Closing Remarks

^{_{Go to top}}

Reinforcement Learning
Session chair: Shihan Wang Quest	13:00-14:30
Yaren Aslan, Stephan Bongers, Frans Oliehoek	Mitigating double-dipping in behavior-agnostic RL
Brieuc Pinon, Jean-Charles Delvenne, and Raphaël Jungers	Counterexamples to RL approaches blending search and learning for problem-solving
Mathieu Reymond, Conor F. Hayes, Lander Willem, Roxana Radulescu, Steven Abrams, Diederik M. Roijers, Enda Howley, Patrick Mannion, Niel Hens, Ann Nowe, Pieter Libin	Exploring the Pareto Front of Multi-Objective COVID-19 Mitigation Policies Using Reinforcement Learning
Vincenzo Lipardi, Xenofon Chiotopoulos, Jacco A. de Vries, Domenica Dibenedetto, Kurt Driessens, Marcel Merk, Mark H.M. Winands	Variational Quantum Algorithms for Particle Track Reconstruction
Tom Pepels, Mark Winands	Ancestor-Based α-β Bounds for Monte-Carlo Tree Search
Wietze Koops	A* Algorithms for Dec-POMDPs

^{_{Go to top}}

Machine Learning Classification and Time Series
Session chair: Sharon Ong Progress	15:15-16:30
Stijn Rotman, Boris Cule, Len Feremans	Efficiently Mining Frequent Representative Motifs in Large Collections of Time Series
Mehran Moazeni, Sebastian Mildiner Moraga, Maaike Wösten, Linda W. van Laake, Folkert W. Asselbergs, Emmeke Aarts	Real-time prediction of Atrial Fibrillation using Meta-learning
Frank Klingert	Feature engineering for classification: A bibliometric literature review
Felipe Kenji Nakano, Karolijn Dulfer, Ilse Vanhorebeek, Pieter J. Wouters, Sascha Verbruggen, Koen Joosten, Fabian Grandas, Celine Vens, and Greet Van den Berghe	Predicting adverse long-term neurocognitive outcomes after pediatric intensive care unit hospitalization
Benoît Loucheur, P.-A. Absil, Michel Journée	Weather Data Imputation Using Graph-Based Low-Rank Matrix Completion with Variable Projection

^{_{Go to top}}

Knowledge Representation and Reasoning
Session chair: Neil Yorke-Smith Expedition	15:15-16:15
Ward Gauderis, Geraint Wiggins	Quantum Theory in Knowledge Representation: A Novel Approach to Reasoning with a Quantum Model of Concepts
Daimy Van Caudenberg, Bart Bogaerts, Leandro Vendramin, Samuele Pollaci	SAT-Based Enumeration Of Solutions To The Yang-Baxter Equation
Bram Swaanen, and Tomas Klos	What To Do Next? A Comparative Study of Human and Rational Decision-Making
Zhivar Sourati, Filip Ilievski, Pia Sommerauer, Yifan Jiang	ARN: Analogical Reasoning on Narratives

^{_{Go to top}}

Data and pattern mining
Session chair: Ad Feelders Quest	15:15-16:15
Rianne M. Schouten, Gonneke W.J.M. Stevens, Saskia A.F.M. van Dorsselaer, Elisa L. Duinhof, Karin Monshouwer, Mykola Pecheniziky and Wouter Duivesteijn	Analyzing the interplay between societal trends and socio-demographic variables with local pattern mining: Discovering exceptional trends in adolescent alcohol use in the Netherlands
Oliver Urs Lenz, Daniel Peralta, Chris Cornelis	Polar Encoding: A Simple Baseline Approach for Classification with Missing Values
Jacobus G.M. van der Linden, Mathijs de Weerdt, Emir Demirović	Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming
Hugo Santos, Catarina Ramos, Marta Faias, Nuno C. Marques	Optimizing the Magic Formula in Europe: Factors Driving Return, Risk and Risk-Adjusted Return

^{_{Go to top}}

FACT session
Session chair: moderators Progress	16:45-17:45
Pinar Yolum Birbil	Five Key Phrases for Trustworthy AI Artificial Intelligence, powered by artificial neural networks, is proving to be both a blessing and a burden. Sparse training has emerged as a promising solution to mitigate the significant energy demands of modern deep learning techniques while enhancing generalization in many cases. However, most mainstream hardware and software libraries remain optimized for dense neural networks, making the development of truly sparse solutions a distant goal. Achieving this would theoretically reduce the energy consumption of deep learning by orders of magnitude, paving the way for a more sustainable AI landscape. Yet, many challenges remain. So, what steps should we take to bring this vision closer to reality?
Decebal Constantin Mocanu	Sparse Artificial Neural Networks for Sustainable AI Artificial Intelligence, powered by artificial neural networks, is proving to be both a blessing and a burden. Sparse training has emerged as a promising solution to mitigate the significant energy demands of modern deep learning techniques while enhancing generalization in many cases. However, most mainstream hardware and software libraries remain optimized for dense neural networks, making the development of truly sparse solutions a distant goal. Achieving this would theoretically reduce the energy consumption of deep learning by orders of magnitude, paving the way for a more sustainable AI landscape. Yet, many challenges remain. So, what steps should we take to bring this vision closer to reality?
Giovanni Sileno	Between Hammer and Terminator Contemporary debates concerning artificial systems and their relationship with humans just keep increasing. Unfortunately, various misunderstanding are occurring between humanities- and computational- oriented perspectives, and between different positions within. Can machine be likehumans? Can they never be like humans? Are machines just like hammers? Can they become terminators? In this talk I will decompose these questions sketching a conceptual framework, elaborating on notions as moral agency and patiency to identify key components that may conduct to a weaker form of agency, offering a moreneutral grounds to discuss responsibility, accountability, and liability.

^{_{Go to top}}

Posters & Demos

^{_{Go to top}}

Posters session 4
TransitZone	14:30-15:15
2. Jippe Hoogeveen, Marjan van den Akker, Han Hoogeveen	Solving the Casting problem using Column Generation; better results with 100 variables instead of 1 billion
4. Benoît Alcaraz, Aleks Knoks, David Streit	Estimating Weights of Reasons Using Metaheuristics: A Hybrid Approach to Machine Ethics
6. Tobias Deinböck, Chu-Hsuan Hsueh, Kokolo Ikeda	Procedurally Generating Natural-Looking Villages in Minecraft with Ant Colony Optimization Algorithms
8. Amaury Guichard, Quentin Cappart	Learning Crossover Operators in Genetic Algorithms: Application to the Capacitated Vehicle Routing Problem
10. Roel Brouwer, Marjan van den Akker, Han Hoogeveen	A Hybrid Local Search Algorithm for the Continuous Energy-Constrained Scheduling Problem
12. Ward Gauderis, Geraint Wiggins	Quantum Theory in Knowledge Representation: A Novel Approach to Reasoning with a Quantum Model of Concepts
14. Daimy Van Caudenberg, Bart Bogaerts, Leandro Vendramin, Samuele Pollaci	SAT-Based Enumeration Of Solutions To The Yang-Baxter Equation
16. Bram Swaanen, and Tomas Klos	What To Do Next? A Comparative Study of Human and Rational Decision-Making
18. Zhivar Sourati, Filip Ilievski, Pia Sommerauer, Yifan Jiang	ARN: Analogical Reasoning on Narratives
20. Mandani Ntekouli, Gerasimos Spanakis, Lourens Waldorp, Anne Roefs	Enhanced Boosting-Based Transfer Learning for Modeling Ecological Momentary Assessment Data
22. Kim van den Houten, David Tax, Esteban Freydell, Mathijs de Weerdt	Learning from Scenarios for Repairable Stochastic Scheduling
24. Yaren Aslan, Stephan Bongers, Frans Oliehoek	Mitigating double-dipping in behavior-agnostic RL
26. Brieuc Pinon, Jean-Charles Delvenne, and Raphaël Jungers	Counterexamples to RL approaches blending search and learning for problem-solving
28. Vincenzo Lipardi, Xenofon Chiotopoulos, Jacco A. de Vries, Domenica Dibenedetto, Kurt Driessens, Marcel Merk, Mark H.M. Winands	Variational Quantum Algorithms for Particle Track Reconstruction
30. Tom Pepels, Mark Winands	Ancestor-Based α-β Bounds for Monte-Carlo Tree Search
32. Wietze Koops	A* Algorithms for Dec-POMDPs
34. Rianne M. Schouten, Gonneke W.J.M. Stevens, Saskia A.F.M. van Dorsselaer, Elisa L. Duinhof, Karin Monshouwer, Mykola Pecheniziky and Wouter Duivesteijn	Analyzing the interplay between societal trends and socio-demographic variables with local pattern mining: Discovering exceptional trends in adolescent alcohol use in the Netherlands
36. Oliver Urs Lenz, Daniel Peralta, Chris Cornelis	Polar Encoding: A Simple Baseline Approach for Classification with Missing Values
38. Jacobus G.M. van der Linden, Mathijs de Weerdt, Emir Demirović	Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming
42. Fabio De Ponte	Grounding Words in Visual Perceptions: Experiments in Spoken Language Acquisition
44. Max van Duijn, Bram van Dijk, Tom Kouwenhoven, Werner de Valk, Marco Spruit, Peter van der Putten	Theory of Mind in Large Language Models: Examining Performance of 11 State-of-the-Art models vs. Children Aged 7-10 on Advanced Tests
46. Cascha van Wanrooij, Omendra Manhar, Jie Yang	Topic Modeling for Small Data using Generative LLMs
50. Tom McDonald, Calvin Tsay, Artur M. Schweidtmann, Neil Yorke-Smith	Mixed-Integer Optimisation of Graph Neural Networks for Computer-Aided Molecular Design (Article Abstract)
52 Isel Grau, Gonzalo Nápoles	Sparseness-Optimized Feature Importance
54. Oliver Urs Lenz, and Matthijs van Leeuwen	Directional anomaly detection
56. Noah Schutte, Krzysztof Postek, Neil Yorke-Smith	Robust Losses for Decision-Focused Learning
58. Pedro Ilídio, Ricardo Cerri, Celine Vens, Felipe Kenji Nakano	Deep forests with tree-embeddings and label imputation for weak-label learning
60. Yehor Kozyr, Weam Aridi, Neil Yorke-Smith	An Efficient Decremental Algorithm for Simple Temporal Networks
62. Johan Kwisthout	Subjective and temporal quality-of-life information in Bayesian networks
64. Veerle E. van den Hurk, Egon L. van den Broek, Marjan van den Akker, Erwin Abbink	Template and constraint-based models for the optimization of schedules, applied to Netherlands Railways (NS)’ crew planning
66. Konstantin Sidorov, Gonçalo Correia, Mathijs De Weerdt, Emir Demirović	Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths
68. Marcin Pietrasik, Marek Reformat, Anna Wilbik	Non-Parametric Path Based Model for Taxonomy Induction in Knowledge Graphs
70. Dumitru Versebeniuc, Martijn Elands, Sara Falahatkar, Chiara Magrone, Mohammad Falah, Martijn Bousse and Aki Harma	Generative AI-based Virtual Assistant using Retrieval-Augmented Generation: An evaluation study for bachelor projects
72. Qixiang Fang, Anastasia Giachanou, Ayoub Bagheri	Improving Stance Detection by Leveraging Measurement Knowledge from Social Sciences: A Case Study of Dutch Political Tweets and Traditional Gender Role Division
74. Thales Bertaglia, Lily Heising, Rishabh Kaushal, Adriana Iamnitchi	InstaSynth: Opportunities and Challenges in Generating Synthetic Instagram Data with chatGPT for Sponsored Content Detection
76. Stijn Rotman, Boris Cule, Len Feremans	Efficiently Mining Frequent Representative Motifs in Large Collections of Time Series
78. Felipe Kenji Nakano, Karolijn Dulfer, Ilse Vanhorebeek, Pieter J. Wouters, Sascha Verbruggen, Koen Joosten, Fabian Grandas, Celine Vens, and Greet Van den Berghe	Predicting adverse long-term neurocognitive outcomes after pediatric intensive care unit hospitalization

^{_{Go to top}}

Demos
TransitZone	14:30-15:15
Ruud Hortensius, Giulia D’Angelo, Ayoub Bagheri, Dong Nguyen, Rianne Dekker, Lisandra Costiner and Karin Jongsma	AI Helpdesk – a platform for reliable answers to questions from the general public about AI

^{_{Go to top}}

Invited Talk

_{Progress – 9:00-10:00}

^{_{Go to top}}

Time\ Location	Progress	Expedition	Quest	TransitZone
09:00 – 10:00	Invited talk-Nuria Oliver
10:00 – 10:30				Coffee
10:30 – 12:00	Natural Language Processing	Data and pattern mining	Knowledge Representation and Reasoning
12:00 – 12:30	Awards & Closing

---

Sessions

Natural Language Processing
Session chair: Anastasia Giachanou Progress	10:30-11:30
Ruben Cartuyvels, Wolf Nuyts, Marie-Francine Moens	Explicitly Representing Syntax Improves Sentence-to-Layout Prediction of Unexpected Situations
Fabio De Ponte	Grounding Words in Visual Perceptions: Experiments in Spoken Language Acquisition
Max van Duijn, Bram van Dijk, Tom Kouwenhoven, Werner de Valk, Marco Spruit, Peter van der Putten	Theory of Mind in Large Language Models: Examining Performance of 11 State-of-the-Art models vs. Children Aged 7-10 on Advanced Tests
Cascha van Wanrooij, Omendra Manhar, Jie Yang	Topic Modeling for Small Data using Generative LLMs

^{_{Go to top}}

Data and pattern mining
Session chair: Expedition	10:30-12:00
Maarten Al Sadawi, Ad Feelders	Monotone Oblique Decision Trees
Tom McDonald, Calvin Tsay, Artur M. Schweidtmann, Neil Yorke-Smith	Mixed-Integer Optimisation of Graph Neural Networks for Computer-Aided Molecular Design (Article Abstract)
Isel Grau, Gonzalo Nápoles	Sparseness-Optimized Feature Importance
Oliver Urs Lenz, and Matthijs van Leeuwen	Directional anomaly detection
Noah Schutte, Krzysztof Postek, Neil Yorke-Smith	Robust Losses for Decision-Focused Learning
Pedro Ilídio, Ricardo Cerri, Celine Vens, Felipe Kenji Nakano	Deep forests with tree-embeddings and label imputation for weak-label learning

^{_{Go to top}}

Knowledge Representation and Reasoning
Session chair: Natasha Alechina Quest	10:30-11:45
Yehor Kozyr, Weam Aridi, Neil Yorke-Smith	An Efficient Decremental Algorithm for Simple Temporal Networks
Johan Kwisthout	Subjective and temporal quality-of-life information in Bayesian networks
Veerle E. van den Hurk, Egon L. van den Broek, Marjan van den Akker, Erwin Abbink	Template and constraint-based models for the optimization of schedules, applied to Netherlands Railways (NS)’ crew planning
Konstantin Sidorov, Gonçalo Correia, Mathijs De Weerdt, Emir Demirović	Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths
Marcin Pietrasik, Marek Reformat, Anna Wilbik	Non-Parametric Path Based Model for Taxonomy Induction in Knowledge Graphs

^{_{Go to top}}

Invited Talk

_{Progress – 9:00-10:00}

^{_{Go to top}}