Accepted papers
First Steps Towards Human-AI Ranking Aggregation
J. Karge, R. Ferguson, D. Grimaldi, J. Haldimann, R. Madzime, T. Meyer
Neurosymbolic Clinical Reasoning: From Evidence Extraction to Reason-Based Decision
H. Marcos, F. Tzavellos, R. Nanda
Toward a Requirements-Driven Neuro-Symbolic Approach to Developing Trustworthy AI Agents Systems
B. Banihashemi, Y. Lespérance, S. Liaskos
Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
A. Ansarifard, M. Mancanelli, E. Umili, F. Patrizi
KGP-QG: Multi-hop Reasoning with Knowledge Graphs in LLMs
A. Mahamud, Y. Chali
Enhancing Retrieval-Augmented Generators with Symbolic Query Definitions
F. Bianchini, M. Calamo, M. Console, M. Mecella, L. Papi
Automatic Chain of Concepts: Conceptual Prompting for LLMs by Constructing Concept Trees
H. Borjigin, N. Vaidya, T. Runkler
Deep Weighted Finite Automata
F. Casone, R. Peñaloza
PrologMCP: A Standardized Prolog Tool Interface for LLM Agents
A. Mensfelt, A. Prabhakaran, A. Haret, V. Trencsenyi, K. Stathis
A Parametric Model of Cognitive Complexity for Symbolic Knowledge-Based Decision Systems
F. Sabbatini
NL2UNIFOL: from Natural Language Sentences to Uniform First-Order Logic Formulae
M. Magnini, D. Liga, L. Pasetto
A Semantic Knowledge Graph Construction Pipeline for Vehicle Intention Prediction in nuScenes
K. Nowara, M. Manzour, C. Elias
Epistemically-Constrained Belief Harmonization: Integrating Symbolic Structure with Probabilistic Consensus
A. Kostka, J. Chudziak
When AI Should Refuse to Decide: Formal Irresolution and the Ethics of Legal Indeterminacy in LLM-Based Reasoning for Biodiversity Law
R. Nanda, H. Marcos, J. Veiga
Identifying Semantic Gaps between Legal Case Descriptions and Logical Fact Formulas Using LLMs: Definition and Preliminary Evaluation
W. Funwacharakorn, M. Zin, K. Satoh
On the Reliability of LLM Orchestration Under Horizontal Knowledge Partitioning
M. Abdelwahab, N. Ehab, M. Abuelkheir