SKILLED-LLMS — PROGRAM
PROGRAM
|
AUTHORS
Days:
Saturday, 18 July 2026
Saturday, 18 July 2026
☆
09:00-10:05
Opening and Invited Talk
SKILLED-LLMs
Session Chair:
Nourhan Ehab
Location:
B2.01
10:05-10:30
Coffee Break
SKILLED-LLMs
Location:
B2.01
☆
10:30-12:50
Session 1: Structured Knowledge Meets Language Models
SKILLED-LLMs
Session Chair:
Elena Umili
Location:
B2.01
10:30-10:50
A Semantic Knowledge Graph Construction Pipeline for Vehicle Intention Prediction in nuScenes
(abstract)
20 min
Khaled Nowara
1
,
Mohamed Manzour
2
,
Catherine Elias
1
1
German University in Cairo
2
Computer Engineering Department, University of Alcalá, Madrid, Spain
10:50-11:10
Automatic Chain of Concepts: Conceptual Prompting for LLMs by Constructing Concept Trees
(abstract)
20 min
Hurile Borjigin
1
,
Nishtha N. Vaidya
1
,
Thomas A. Runkler
1
,
Veronika Haderlein-Høgberg
2
1
Technical University of Munich, Siemens AG, Munich, Germany
2
Siemens AG, Munich, Germany
11:10-11:30
Identifying Semantic Gaps between Legal Case Descriptions and Logical Fact Formulas Using LLMs: Definition and Preliminary Evaluation
(abstract)
20 min
Wachara Funwacharakorn
1
,
May Myo Zin
1
,
Ken Satoh
1
1
Center for Juris-Informatics, ROIS-DS, Tokyo, Japan
11:30-11:50
When AI Should Refuse to Decide: Formal Irresolution and the Ethics of Legal Indeterminacy in LLM-Based Reasoning for Biodiversity Law
(abstract)
20 min
Rohan Nanda
1
,
Henrique Marcos
2
,
Júlia Schütz Veiga
3
1
Law & Tech Lab, Department of Advanced Computing Sciences, Maastricht University
2
Faculty of Law, Maastricht University
3
Ocean Voices Programme, University of Edinburgh
11:50-12:10
On the Reliability of LLM Orchestration Under Horizontal Knowledge Partitioning
(abstract)
20 min
Mayar Abdelwahab
1
,
Nourhan Ehab
1
,
Mervat Abuelkheir
1
1
German University in Cairo
12:10-12:30
KGP-QG: Multi-hop Reasoning with Knowledge Graphs in LLMs
(abstract)
20 min
Al Hasib Mahamud
1
,
Yllias Chali
1
1
University of Lethbridge
12:30-12:50
Enhancing Retrieval-Augmented Generators with Symbolic Query Definitions
(abstract)
20 min
Filippo Bianchini
1
,
Marco Calamo
1
,
Marco Console
1
,
Massimo Mecella
1
,
Laura Papi
1
1
Sapienza University of Rome
12:50-14:00
Lunch
SKILLED-LLMs
Location:
B2.01
☆
14:00-16:00
Session 2: Neuro-Symbolic Integration: Logic, Belief, and Agent Design
SKILLED-LLMs
Session Chair:
Mervat Abuelkheir
Location:
B2.01
14:00-14:20
Neurosymbolic Clinical Reasoning: From Evidence Extraction to Reason-Based Decision
(abstract)
20 min
Henrique Marcos
1
,
Foivos Ioannis Tzavellos
2
,
Rohan Nanda
3
1
Faculty of Law, Maastricht University
2
Graduate school of Informatics, University of Amsterdam
3
Law and Tech Lab, Department of Advanced Computing Sciences, Maastricht University
14:20-14:40
Toward a Requirements-Driven Neuro-Symbolic Approach to Developing Trustworthy AI Agents Systems
(abstract)
20 min
Bita Banihashemi
1
,
Yves Lespérance
2
,
Sotirios Liaskos
2
1
IGDORE
2
York University
14:40-15:00
Epistemically-Constrained Belief Harmonization: Integrating Symbolic Structure with Probabilistic Consensus
(abstract)
20 min
Adam Kostka
1
,
Jarosław A. Chudziak
1
1
Warsaw University of Technology
15:00-15:20
A Parametric Model of Cognitive Complexity for Symbolic Knowledge-Based Decision Systems
(abstract)
20 min
Federico Sabbatini
1
1
University of Bologna
15:20-15:40
PrologMCP: A Standardized Prolog Tool Interface for LLM Agents
(abstract)
20 min
Agnieszka Mensfelt
1
,
Adarsh Prabhakaran
1
,
Adrian Haret
1
,
Vince Trencsenyi
2
,
Kostas Stathis
1
1
Royal Holloway, University of London
2
Royal Holloway University of London, United Kingdom
15:40-16:00
NL2UNIFOL: from Natural Language Sentences to Uniform First-Order Logic Formulae
(abstract)
20 min
Matteo Magnini
1
,
Davide Liga
1
,
Luca Pasetto
1
1
University of Luxembourg
16:00-16:30
Coffee Break
SKILLED-LLMs
Location:
B2.01
☆
16:30-17:30
Session 3: Symbolic Constraints in Learning and Inference
SKILLED-LLMs
Session Chair:
Federico Sabbatini
Location:
B2.01
16:30-16:50
First Steps Towards Human-AI Ranking Aggregation
(abstract)
20 min
Jonas Karge
1
,
Roy Ferguson
2
,
Daniel Grimaldi
2
,
Jonas Haldimann
2
,
Ruvarashe Madzime
3
,
Thomas Meyer
2
1
TU Dresden
2
University of Cape Town and CAIR
3
University of the Western Cape and CAIR
16:50-17:10
Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
(abstract)
20 min
Ashkan Ansarifard
1
,
Matteo Mancanelli
1
,
Elena Umili
1
,
Fabio Patrizi
1
1
Sapienza University of Rome
17:10-17:30
Deep Weighted Finite Automata
(abstract)
20 min
Francesco Casone
1
,
Rafael Peñaloza
1
1
University of Milano-Bicocca
☆
17:30-17:40
Closing
SKILLED-LLMs
Session Chair:
Elena Umili
Location:
B2.01
Designed and Developed by EventKey | Copyright 2026 EventKey
Last updated:
· Local time:
🔍
←
↑
