SKILLED-LLMS — PROGRAM
Days: Saturday, 18 July 2026
Saturday, 18 July 2026
10:10-10:35
Coffee Break
SKILLED-LLMs
Location:
B2.01
10:35-12:35
Session 1: Structured Knowledge Meets Language Models
SKILLED-LLMs
Session Chair:
Location:
B2.01
| 10:35-10:55 |
A Semantic Knowledge Graph Construction Pipeline for Vehicle Intention Prediction in nuScenes (abstract) 20 min
1 German University in Cairo
2 Computer Engineering Department, University of Alcalá, Madrid, Spain
|
| 10:55-11:15 |
Automatic Chain of Concepts: Conceptual Prompting for LLMs by Constructing Concept Trees (abstract) 20 min
1 Technical University of Munich, Siemens AG, Munich, Germany
2 Siemens AG, Munich, Germany
|
| 11:15-11:35 |
Identifying Semantic Gaps between Legal Case Descriptions and Logical Fact Formulas Using LLMs: Definition and Preliminary Evaluation (abstract) 20 min
1 Center for Juris-Informatics, ROIS-DS, Tokyo, Japan
|
| 11:35-11:55 |
When AI Should Refuse to Decide: Formal Irresolution and the Ethics of Legal Indeterminacy in LLM-Based Reasoning for Biodiversity Law (abstract) 20 min
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:55-12:15 |
On the Reliability of LLM Orchestration Under Horizontal Knowledge Partitioning (abstract) 20 min
1 German University in Cairo
|
| 12:15-12:35 |
KGP-QG: Multi-hop Reasoning with Knowledge Graphs in LLMs (abstract) 20 min
1 University of Lethbridge
|
12:35-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:
Location:
B2.01
| 14:00-14:20 |
Neurosymbolic Clinical Reasoning: From Evidence Extraction to Reason-Based Decision (abstract) 20 min
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
1 IGDORE
2 York University
|
| 14:40-15:00 |
Epistemically-Constrained Belief Harmonization: Integrating Symbolic Structure with Probabilistic Consensus (abstract) 20 min
1 Warsaw University of Technology
|
| 15:00-15:20 |
A Parametric Model of Cognitive Complexity for Symbolic Knowledge-Based Decision Systems (abstract) 20 min
1 University of Bologna
|
| 15:20-15:40 |
PrologMCP: A Standardized Prolog Tool Interface for LLM Agents (abstract) 20 min
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
1 University of Luxembourg
|
16:00-16:30
Coffee Break
SKILLED-LLMs
Location:
B2.01
16:30-17:50
Session 3: Symbolic Constraints in Learning and Inference
SKILLED-LLMs
Session Chair:
Location:
B2.01
| 16:30-16:50 |
First Steps Towards Human-AI Ranking Aggregation (abstract) 20 min
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
1 Sapienza University of Rome
|
| 17:10-17:30 |
Enhancing Retrieval-Augmented Generators with Symbolic Query Definitions (abstract) 20 min
1 Sapienza University of Rome
|
| 17:30-17:50 |
Deep Weighted Finite Automata (abstract) 20 min
1 University of Milano-Bicocca
|