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

Table of Contents

Summary: There were 57 papers submitted for peer-review to this workshop. Out of these, 55 papers were accepted for this volume.

• Preface
  PDF 10.83095/ceurws_04311_001
  Miguel Areias, Vítor Santos Costa, Ricardo Rocha

Answer Set Programming and Other Computing Paradigms (ASPOCP)

ASPOCP Regular papers

• Modeling the Resource-Constrained Project Scheduling Problem with Answer Set Programming 1-16
  PDF 10.83095/ceurws_04311_002
  Mohammed M.S. El-Kholany, Martin Gebser, Dorde Markovic, Gianluca Zavan
• Asplain: An ASP System for Contrastive Explanations 17-32
  PDF 10.83095/ceurws_04311_003
  Susana Hahn, Brais Muñiz, Orkunt Sabuncu, Torsten Schaub, Tran Cao Son, Hannes Weichelt
• Dynamic Equilibrium Logic for Action and Change: Abridged report 33-49
  PDF 10.83095/ceurws_04311_004
  Arvid Becker, Martín Diéguez, Susana Hahn, Torsten Schaub
• Flaspland: A Testbed for Routing and Scheduling in Answer Set Programming (Preliminary Report) 50-63
  PDF 10.83095/ceurws_04311_005
  Ryan Murphy, Amadé Nemes, Javier Romero, Torsten Schaub
• Finding Counterexamples for External Equivalence: Preliminary Report 64-75
  PDF 10.83095/ceurws_04311_006
  Jorge Fandinno, Jan Heuer, Tomi Janhunen, Javier Romero, Torsten Schaub
• Solving configuration problems with unbounded cardinalities in COOM: Preliminary report 76-95
  PDF 10.83095/ceurws_04311_007
  Joachim Baumeister, Konstantin Herud, Jan Heuer, Jochen Reutelshöfer, Nicolas Rühling, Abdallah Saffidine, Torsten Schaub
• Aspen-tree: A System for Non-ground Meta-programming in ASP 96-106
  PDF 10.83095/ceurws_04311_008
  Amadé Nemes, Torsten Schaub
• Implementing Operator-Based Semantics for Normal Logic Programs using Meta-Programming in ASP 107-120
  PDF 10.83095/ceurws_04311_009
  Jesse Heyninck, Spencer Killen, Jeroen Spaans
• Towards ASP-Based Composition of Scientific Workflows 121-135
  PDF 10.83095/ceurws_04311_010
  Nikolas Bertrand, Charlotte Grunert, Mario Frank, Anna-Lena Lamprecht
• Between Two Worlds: Logica Intertwines ASP and SQL 136-150
  PDF 10.83095/ceurws_04311_011
  Evgeny Skvortsov, Yilin Xia, Ojaswa Garg, Shawn Bowers, Bertram Ludäscher
• Instance-Aware AMOSUM Propagator Selection in ASP 151-165
  PDF 10.83095/ceurws_04311_012
  Mario Alviano, Carmine Dodaro, Thomas Eiter, Salvatore Fiorentino, Tobias Geibinger, Megan Macrì
• Declarative Spatial Reasoning in Temporal Here-and-There with Constraints 166-180
  PDF 10.83095/ceurws_04311_013
  François Olivier, Martín Diéguez, Carl Schultz

ASPOCP Short papers

• Neural Decision–Propagation for Answer Set Programming (Extended Abstract) 181-187
  PDF 10.83095/ceurws_04311_014
  Thomas Eiter, Katsumi Inoue, Sota Moriyama

ASPOCP Abstract papers

• ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex (Invited Talk) 188-189
  PDF 10.83095/ceurws_04311_015
  Marco Gavanelli

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

CARLA Regular papers

• Logic-Based Multi-Robot Coordination in Digital Twins: A DALI2 + CoppeliaSim Case Study for Cooperative Search and Rescue 190-202
  PDF 10.83095/ceurws_04311_016
  Lorenzo De Lauretis, Giovanni De Gasperis, Stefania Costantini
• ASPembly: Neuro-Symbolic Knowledge Extraction of Assembly Instructions into ASP 203-212
  PDF 10.83095/ceurws_04311_017
  Mario Alviano, Lorenzo Grillo, Pierpaolo Sestito
• CoSP-TL: Common Sense enhanced Planning under Temporal Logics constraints with LLMs 213-226
  PDF 10.83095/ceurws_04311_018
  Emanuele Musumeci, Alessio Saladino, Elena Umili, Luca Iocchi, Daniele Nardi

CARLA Short papers

• A Neuro-Symbolic Agent for Video Anomaly Detection 227-232
  PDF 10.83095/ceurws_04311_019
  Alessia Donata Camarda, Giovambattista Ianni, Angelo Laface

Workshop on End-User Logic Programming (EULP)

EULP Regular papers

• Defining Routines in DaaS: Visual Logic Programming for Mesh Network Policies - Preliminary Report 233-242
  PDF 10.83095/ceurws_04311_020
  Lorenzo Grillo, Pierpaolo Sestito

EULP Short papers

• Generating RTEC Programs with LLMs 243-247
  PDF 10.83095/ceurws_04311_021
  Andreas Kouvaras, Periklis Mantenoglou, Alexander Artikis
• LLMASP-LGX: A Lightweight Gateway to Logic-Guided Reasoning with LLMs and ASP 248-252
  PDF 10.83095/ceurws_04311_022
  Mario Alviano, Lorenzo Grillo, Nicola Leone, Fabrizio Lo Scudo
• clindocs: A system for automatic documentation of ASP programs 253-259
  PDF 10.83095/ceurws_04311_023
  Dominik Gerndt, Susana Hahn
• Verbalizing Answer Sets: the Map-Summarize Paradigm 260-265
  PDF 10.83095/ceurws_04311_024
  Mario Alviano, Matteo Capalbo, Sebastiano A. Piccolo

EULP Abstract papers

• One more step towards Easy Answer Set Programming (Invited Talk) 266-266
  PDF 10.83095/ceurws_04311_025
  Javier Romero

Prolog Education Workshop (PEG)

PEG Regular papers

• Logical Minecraft: Teaching Logical Thinking through Games 267-275
  PDF 10.83095/ceurws_04311_026
  Simon Vandevelde
• IMPLY - A Logic Learning Game for Pre-literate Children 276-282
  PDF 10.83095/ceurws_04311_027
  Mario Wenzel
• Web Platform for Symbolic AI and Knowledge 283-293
  PDF 10.83095/ceurws_04311_028
  Magdalena Maglizhanova, Veneta Tabakova-Komsalova, Veronica Dahl, Stanimir Stoyanov, Srebrin Srebrev, Tanya Srebreva
• Connecting Artistic and Logical Reasoning: The Bento Box as a Conceptual Tool for Logic Programming Education in Art and Design 294-303
  PDF 10.83095/ceurws_04311_029
  Christian Jendreiko
• Symbolic Artificial Intelligence for Preserving Linguistic and Cultural Diversity 304-316
  PDF 10.83095/ceurws_04311_030
  Radomira Lazarova, Veneta Tabakova-Komsalova, Stanimir Stoyanov, Ivan Stoyanov
• ProverSLD: An Interactive Visualizer for Teaching SLD Resolution in Prolog and First-Order Logic 317-328
  PDF 10.83095/ceurws_04311_031
  Ján Perháč, Patrik Čmil, Samuel Novotný
• Solving P-99 at the age of LLM – Examples and Pedagogical Considerations 329-342
  PDF 10.83095/ceurws_04311_032
  Fred Mesnard, Thierry Marianne, Etienne Payet, Wim Vanhoof
• Using Prolog for a Compilers Course 343-348
  PDF 10.83095/ceurws_04311_033
  Salvador Abreu
• Cracking Messages: Logic Programming to Secret Communication 349-360
  PDF 10.83095/ceurws_04311_034
  Magdalena Maglizhanova, Laura A. Cecchi, Veneta Tabakova-Komsalova, Jorge P. Rodríguez
• Using Logica to Teach About Parallel Complexity 361-369
  PDF 10.83095/ceurws_04311_035
  Evgeny Skvortsov, David S. Warren, Ojaswa Garg, Yilin Xia, Shawn Bowers, Bertram Ludäscher
• Are we intelligent enough to judge intelligence? Proposal for a New PEG Task Force to Develop AI Tests 370-382
  PDF 10.83095/ceurws_04311_036
  Magdalena Maglizhanova, Christian Jendreiko, Jacinto A. Dávila Quintero, Veronica Dahl, Laura A. Cecchi
• Embodied Declarative Logic: Learning Logica via Orchestrating Robot Behavior 383-389
  PDF 10.83095/ceurws_04311_037
  Evgeny Skvortsov, Ojaswa Garg, Yilin Xia, Shawn Bowers, Bertram Ludäscher
• Logical English 2: A Reimplementation 390-397
  PDF 10.83095/ceurws_04311_038
  Miguel Calejo, Jacinto A. Dávila Quintero
• Prolog–Blockly Playgrounds for Logical Reasoning through Natural Deduction 398-407
  PDF 10.83095/ceurws_04311_039
  Joaquín Arias, Alberto Scocco

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

RCRA Regular papers

• Contextualizing Large Language Models Alongside Specialized Information Extraction and Question Answering Systems 408-422
  PDF 10.83095/ceurws_04311_040
  Josh Gryzen, Yuliya Lierler, Francisco Ramirez
• Symmetry Breaking Constraints for SAT Solving 423-432
  PDF 10.83095/ceurws_04311_041
  Martin Struk, Mikoláš Janota
• Components of Information Flow Underlying Heuristic Decisions in Constraint Satisfaction Search 433-447
  PDF 10.83095/ceurws_04311_042
  Richard J. Wallace
• Neural Network Based Analysis of Amenability of CSPs to Different Heuristic Actions 448-459
  PDF 10.83095/ceurws_04311_043
  Richard J. Wallace
• Efficient Interpretability Reasoning for Decision Trees 460-475
  PDF 10.83095/ceurws_04311_044
  Joao Marques-Silva, Alexey Ignatiev
• Declarative Communication Filters for Controlled LLM Integration in Logic-Based Multi-Agent Systems 476-486
  PDF 10.83095/ceurws_04311_045
  Lorenzo De Lauretis, Stefania Costantini

Doctoral Consortium on Logic Programming (DC)

DC Short papers

• Integrating Description Logics and Answer Set Programming for Explainable Decision-Making in Digital Health 487-493
  PDF 10.83095/ceurws_04311_046
  Alina Vozna
• Computational methods for Dynamic Answer Set Programming 494-501
  PDF 10.83095/ceurws_04311_047
  Susana Hahn
• Logical Foundations of Dynamical Answer Set Programming 502-506
  PDF 10.83095/ceurws_04311_048
  Arivd Becker
• Hybrid Answer Set Programming: Foundations and Applications 507-515
  PDF 10.83095/ceurws_04311_049
  Nicolas Rühling
• A Three-Layer Reduction Framework for Scalable Verification of Maritime Vessel Systems under Uncertainty 516-521
  PDF 10.83095/ceurws_04311_050
  Hiba Ben Lahbib
• Advancing Knowledge-Based Reasoning for Automated Workflow Composition 522-527
  PDF 10.83095/ceurws_04311_051
  Nikolas Bertrand
• Formal Methods for Answer Set Programming 528-533
  PDF 10.83095/ceurws_04311_052
  Jan Heuer
• Modeling Railway Systems in Answer Set Programming 534-539
  PDF 10.83095/ceurws_04311_053
  Ryan Murphy
• Defeasible Normative Reasoning: a Deontic Equilibrium Logic approach 540-544
  PDF 10.83095/ceurws_04311_054
  Ovidio Manteiga
• Enhancing the Extensibility of Answer Set Programming via Meta-Programming 545-549
  PDF 10.83095/ceurws_04311_055
  Amadé Nemes
• Differentiable Answer Set Programming for Neurosymbolic AI 550-556
  PDF 10.83095/ceurws_04311_056
  Sota Moriyama