SKILLED-LLMs 2026

Table of Contents

• PDF
  
• First Steps Towards Human-AI Ranking Aggregation 1-14 PDF
  Jonas Karge, Roy Ferguson, Daniel Grimaldi, Jonas Haldimann, Ruvarashe Madzime, Thomas Meyer
• Neurosymbolic Clinical Reasoning: From Evidence Extraction to Reason-Based Decision 15-22 PDF
  Henrique Marcos, Foivos Ioannis Tzavellos, Rohan Nanda
• Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies 23-38 PDF
  Ashkan Ansarifard, Matteo Mancanelli, Elena Umili, Fabio Patrizi
• KGP-QG: Multi-hop Reasoning with Knowledge Graphs in LLMs 39-50 PDF
  Al Hasib Mahamud, Yllias Chali
• Automatic Chain of Concepts: Conceptual Prompting for LLMs by Constructing Concept Trees 51-73 PDF
  Hurile Borjigin, Nishtha N. Vaidya, Thomas A. Runkler, Veronika Haderlein-Høgberg
• Deep Weighted Finite Automata 74-87 PDF
  Francesco Casone, Rafael Peñaloza
• PrologMCP: A Standardized Prolog Tool Interface for LLM Agents 88-110 PDF
  Agnieszka Mensfelt, Adarsh Prabhakaran, Adrian Haret, Vince Trencsenyi, Kostas Stathis
• A Parametric Model of Cognitive Complexity for Symbolic Knowledge-Based Decision Systems 111-125 PDF
  Federico Sabbatini
• NL2UNIFOL: from Natural Language Sentences to Uniform First-Order Logic Formulae 126-143 PDF
  Matteo Magnini, Davide Liga, Luca Pasetto
• A Semantic Knowledge Graph Construction Pipeline for Vehicle Intention Prediction in nuScenes 144-154 PDF
  Khaled Nowara, Mohamed Manzour, Catherine Elias
• Epistemically-Constrained Belief Harmonization: Integrating Symbolic Structure with Probabilistic Consensus 155-163 PDF
  Adam Kostka, Jarosław A. Chudziak
• On the Reliability of LLM Orchestration Under Horizontal Knowledge Partitioning 164-178 PDF
  Mayar Osama, Nourhan Ehab, Mervat AbuElkheir
• Toward a Requirements-Driven Neuro-Symbolic Approach to Developing Trustworthy AI Agent Systems 179-186 PDF
  Bita Banihashemi, Yves Lespérance, Sotirios Liaskos
• Enhancing Retrieval-Augmented Generators with Symbolic Query Definitions 187-200 PDF
  Filippo Bianchini, Marco Calamo, Marco Console, Massimo Mecella, Laura Papi
• When AI Should Refuse to Decide: Formal Irresolution and the Ethics of Legal Indeterminacy in LLM-Based Reasoning for Biodiversity Law 201-207 PDF
  Rohan Nanda, Henrique Marcos, Julia Schutz Veiga
• Identifying Semantic Gaps between Legal Case Descriptions and Logical Fact Formulas Using LLMs: Definition and Preliminary Evaluation 208-212 PDF
  Wachara Fungwacharakorn, May Myo Zin, Ken Satoh