ICLP-WS-DC 2025
ICLP Workshops and Doctoral Consortium 2025

Table of Contents

• Preface
  Pierangela Bruno and Jorge Fandinno
  Summary: This volume collects the papers accepted for publication at six workshops and the Doctoral Consortium associated with the 41st International Conference on Logic Programming (ICLP 2025). The events took place in Rende, Italy, on September 9-13, 2025. There were 49 papers submitted for peer-review to the workshops and the Doctoral Consortium included in this volume. After a thorough review process, 40 papers were accepted for publication, 19 of which were presented at the workshops and 21 at the Doctoral Consortium. Of the 19 workshop papers presented at workshops, 8 were regular papers, 8 were short papers, and 3 were abstracts corresponding to invited talks. The Doctoral Consortium papers were all short papers.

Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA)

Regular papers

• Enhancing Compilation-based ASP Solving with Postponed Atom Discovery 15
  Andrea Cuteri, Giuseppe Mazzotta and Francesco Ricca

Short papers

• Temporal Conditional Reasoning with Weighted Knowledge Bases 8
  Mario Alviano, Laura Giordano and Daniele Theseider Dupré
• neXSim: A System for Explaining Nexus of Similarities 9
  Giovanni Amendola, Pietro Cofone, Marco Manna and Aldo Ricioppo
• On the Translation of ASP Rules to (Controlled) Natural Language Sentences 12
  Simone Caruso, Carmine Dodaro, Fabrizio Lo Scudo, Marco Maratea and Kristian Reale
• Resource Allocation with Cooperative Agents 8
  Stefania Costantini, Giovanni De Gasperis, Pasquale De Meo, Francesco Gullo and Alessandro Provetti
• Scalable and Ethical Medical Scheduling: An ASP-Based Framework with Patient-Centered Experimental Validation 8
  Alina Vozna, Andrea Monaldini, Stefania Costantini, Dawid Pado and Valentina Pitoni

Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP)

Regular papers

• Global Type Inference for Java using Answer Set Programming 13
  Andreas Stadelmeier and Martin Plümicke
• Representing and Evaluating SBVR Specification via ASP 17
  Simone Caruso, Carmine Dodaro and Marco Maratea
• ASP Chef Creates Surveys 14
  Mario Alviano, Davide Cirimele and Luis Angel Rodriguez Reiners
• A Preliminary Evaluation of Open-Source LLMs for Datalog-Based Semantic Parsing in the ASVIN Project 13
  Mario Alviano, Matteo Capalbo, Georg Gottlob, Irfan Kareem, Fabrizio Lo Scudo and Sebastiano Piccolo
• Toward Executing Datalog on Big Data Platforms - Extended Abstract 1
  Andrea Cuteri, Giuseppe Mazzotta and Francesco Ricca
• Teaching ASP (and Its Users) to Share Code: Abstract (Invited Talk) 1
  Mario Alviano

Workshop on Probabilistic Logic Programming (PLP)

Regular papers

• A Scalable Approach to Probabilistic Compliance in Declarative Process Mining 12
  Michela Vespa and Elena Bellodi

Prolog Education Workshop (PEG)

Regular papers

• PEG 2.0: Future-Gazing Through a Socio-Linguistic and Historical Lens 14
  Verónica Dahl
• Platform for Introducing Logic Programming in Bulgarian Secondary Schools - IDEAS (Intelligent Data Educational Analysis System) 12
  Veneta Tabakova-Komsalova, Magdalena Maglizhanova, Asya Stoyanova-Doycheva and Stanimir Stoyanov
• Constructionist Co-Design for the Learning Experience: A Work-in-Progress on Engaging Teachers to Integrate Logic Programming in Primary School 10
  Jorge P. Rodríguez and Laura A. Cecchi
• Some Enhancements to the Prolog Playground and ALD Notebooks for the Modern Prolog Classroom 10
  Jose F. Morales, Daniela Ferreiro and Manuel V. Hermenegildo
• The Simple Generative Logic Grammar: A Tool for Teaching Logical Thinking Through Visual Research in Art and Design 11
  Christian Jendreiko,
• Decompiling Language Models into Logic Programs 11
  Jacinto Dávila Quintero

Short papers

• Teaching Prolog and Logic Programming with Jupyter Notebooks 6
  Galileo Sartor, and Adam Wyner
• Logic and Answer Set Programming in High School: Two Learning Unit Experiences 8
  Kristian Reale

Workshop on Logic Programming and Legal Reasoning (LPLR)

Long shorts

• Knowledge Graphs & Reasoning in Concert: Automating Regulation in Corporate Economics 14
  Luigi Bellomarini, Matteo Brandetti, Andrea Gentili, Rosario Laurendi and Davide Magnanimi
• A Legal Logic Programming Framework for Autonomous Vehicles 11
  Galileo Sartor and Adam Z. Wyner

Short papers

• Visualizing Kripke Models in LogiKEy: the Case of SDL 9
  Luca Pasetto and Christoph Benzmüller

Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA)

Short papers

• Iterative ASP Pipelines: Enhancements for Robots Playing Mobile Games 7
  Denise Angilica, Tayyab Ateeq and Giovambattista Ianni
• ASP and PDDL+ Applications in Urban Traffic Distribution and Control 8
  Mauro Vallati, Carmine Dodaro, Francesco Doria, Salvatore Fiorentino, Marco Maratea, Francesco Percassi and Alice Tarzariol

Astract papers

• When Prolog Meets Generative Models: a New Approach for Managing Knowledge and Planning in Robotic Applications – Abstract 1
  Enrico Saccon, Ahmet Tikna, Davide De Martini, Edoardo Lamon, Luigi Palopoli and Marco Roveri

Doctoral Consortium on Logic Programming (DC)

Short papers

• Probabilistic Declarative Process Mining 6
  Michela Vespa
• Neurosymbolic AI in Digital Forensics: Commonsense and Qualitative Reasoning 6
  Alessia Donata Camarda
• A Tool Set for Converting Controlled Natural Languages into AI Formalisms 9
  Simone Caruso
• Tackling the Air Traffic Flow and Capacity Management Problem with Explainable Answer Set Programming 7
  Alexander Beiser
• Towards Incorporating Normative Requirements In Autonomous Systems Using Datalog 6
  Mahrokh Mirani
• Answer Set Counting and its Applications to Network Reliability and System Biology 8
  Mohimenul Kabir
• Exploring Neurosymbolic Systems in Answer Set Programming with an Application to Waste Water Monitoring 9
  Luis Angel Rodriguez Reiners
• UserArmor: An extension for AppArmor 10
  Pierpaolo Sestito
• LLMASP: A Framework for Mitigating Hallucinations and Supporting Symbolic Reasoning in Large Language Models 8
  Lorenzo Grillo
• Formal Verification of Answer Set Programs Containing Advanced Language Constructs 9
  Zachary Hansen
• Exploring Digital Twins integration with ASP and ASP Chef 9
  Paola Guarasci
• Early Validation of High-level Requirements on Cyber-Physical Systems 7
  Ondřej Vašíček
• Learning ASP Domain-specific Heuristics using Transformers 8
  Marco Duca
• Precise Exponential-Time Complexity of Non-Monotonic Reasoning 6
  Mohamed Maizia
• Search-Guided Generation of Properties for Program Analyzers 9
  Daniela Ferreiro
• Research Summary: Explainable Artificial Intelligence in Answer Set Programming and Machine Learning 9
  Ly Ly Trieu
• Knowledge-Based Stable Roommates Problems 6
  Müge Fidan
• Enhancing Compilation-based ASP Solving 9
  Andrea Cuteri
• Flexible, Lifelong, Explainable, and Robust Solutions for Multi-Agent Path Finding Problems 8
  Aysu Bogatarkan
• General Grid Recognition and Logic-Driven Gameplay for Intelligent Robots 5
  Tayyab Ateeq
• A Neurosymbolic Approach to Fraud Detection on Financial Data in the Public Administration 5
  Michele Vitale