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. This volume contains a total of 40 papers, 19 of which were presented at the workshops and 21 at the Doctoral Consortium. Of the 19 workshop papers, 8 were regular papers, another 8 were short papers, and 3 were abstracts corresponding to invited talks. The Doctoral Consortium papers were all short papers.
• Francesco Percassi, University of Huddersfield , UK • Francesco Santini, University of Perugia, Italy • Wolfgang Faber, University of Klagenfurt, Austria • Alice Tarzariol, University of Klagenfurt, Austria • Andrea Formisano, Università di Udine, Italy • Alessandro Bertagnon, University of Ferrara, Italy • Carmine Dodaro, University of Calabria, Italy • Luigi Bonassi, University of Oxford, UK • Leonardo Lamanna, Fondazione Bruno Kessler, Italy • Matteo Cardellini, Università degli Studi di Genova, Italy 2. Answer Set Programming and Other Computing Paradigms 18th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2025) The Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) has been running for almost twenty years, providing a well-established forum with a strong program committee and active community. ASPOCP covers ASP and its connections to other paradigms such as SAT, SMT, QBF, FO(ID), and constraint programming, as well as applications and extensions.
The eighteenth edition of ASPOCP comprises a total of six works, consisting of four regular papers, one extended abstract from an already published paper and an extended abstract corresponding to the invited talk.
Program Committee • Brais Muñiz, University of Coruña, Spain • Alice Tarzariol, University of Klagenfurt, Austria • Mario Alviano, University of Calabria, Italy • Pedro Cabalar, University of Coruña, Spain • Tran Cao Son, New Mexico State University, USA • Francesco Cauteruccio, University of Salerno, Italy • Stefania Costantini, University of L’Aquila, Italy • Carmine Dodaro, University of Calabria, Italy • Esra Erdem, Sabanci University, Turkey • Cristina Feier, Technical University of Cluj-Napoca, Romania • Johannes Klaus Fichte, Linköping University, Sweden • Tobias Geibinger, TU Wien, Austria • Giovambattista Ianni, University of Calabria, Italy • Tomi Janhunen, Tampere University, Finland • Vladimir Lifschitz, University of Texas at Austin, USA • Marco Maratea, University of Calabria, Italy • Michael Morak, University of Klagenfurt, Austria • Orkunt Sabuncu, Potassco Solutions Turkey, Turkey • Konstantin Schekotihin, University of Klagenfurt, Austria • Van-Giang Trinh, Inria Saclay, France • Jia-Huai You, University of Alberta, Canada • Johannes Peter Wallner, TU Graz, Austria
12th Workshop on Probabilistic Logic Programming (PLP 2025) The PLP workshop encompasses all aspects of combining logic, algorithms, programming, and probability. The 2025 edition consisted of three papers, two already published and one full paper, plus an invited talk.
Program Committee • Damiano Azzolini, University of Ferrara, Italy • Markus Hecher, CNRS, Artois University, France
3rd Prolog Education Workshop (PEG 2025) This part of the volume contains the papers presented at the Third Prolog Education Workshop, PEG 2025, one of the initiatives of the Prolog Education Group 2.0 (PEG 2.0). We received 9 submissions out of which 6 papers were accepted as regular papers, and 2 as short papers. In addition to the technical papers, the workshop included two invited talks: Verónica Dahl (Simon Fraser University, Canada) delivered "PEG 2.0: Future-gazing through a socio-linguistic and historical lens" and Theresa Swift (Universidade Nova de Lisboa, Portugal) presented "LLM-Assisted Education for a Low-Resource Logic Programming Language".
• Laura A. Cecchi, Universidad Nacional del Comahue, Argentina • José F. Morales, Universidad Politécnica de Madrid (UPM) and IMDEA Software Institute, Spain Program Committee • Salvador Abreu, Universidade de Evora, Portugal • Joaquín Arias, CETINIA, Universidad Rey Juan Carlos, Spain • Asya Astanova, Plovdiv University, Bulgaria • Roberta Calegari, Università di Bologna, Italy • Stefania Costantini, Università degli Studi dell’Aquila, Italy • Verónica Dahl, Simon Fraser University, Canada • Jacinto Dávila, Universidad de Los Andes, Venezuela • Włodek Drabent, Institute of Computer Science, Polish Academy of Sciences, Poland • Atanas Dukovski, Bulgarian Academy of Sciences Institute of Information and Communication,
Bulgaria • Michael Genesereth, Stanford University, USA • Gopal Gupta, University of Texas at Dallas, USA • Angelo Ferrando, Università degli Studi di Modena e Reggio Emilia, Italy • Jason Hemann, Seton Hall University, USA • Manuel Hermenegildo, Universidad Politécnica de Madrid (UPM) and IMDEA Software Institute,
Spain • Bharat Jayaraman, Amrita Institute of Advanced Research, USA • Christian Jendreiko, HSD University of Applied Sciences, Germany • Bob Kowalski, Imperial College London, UK • Pedro Lopez, Universidad Politécnica de Madrid (UPM) and IMDEA Software Institute, Spain • Fernando Sáenz-Perez,Universidad Complutense de Madrid, Spain • Theresa Swift, Universidade Nova de Lisboa, Portugal • Veneta Tabakova-Komsalova,Plovdiv University, Bulgaria • Paul Tarau, University of North Texas, USA • David S. Warren, Stony Brook University, USA • Felix Weitkämper, Universität München, Germany • Jan Wielemaker, Vrije Universiteit Amsterdam, Netherlands • Adam Wyner, Swansea University, UK 5. Logic Programming and Legal Reasoning
1st Workshop on Logic Programming and Legal Reasoning (LPLR 2025) This workshop explores the representation of legal rules and the automation of reasoning over them through logic programming. Laws and regulations are complex, large-scale, and central to most human activities, making computational support essential for tasks such as compliance checking, decision support, and normative reasoning. By combining perspectives from law and computer science, the event provides a forum to discuss advances in theory and applications. The program featured two regular papers and one short paper, highlighting recent research results and fostering dialogue on innovative approaches in this interdisciplinary and rapidly evolving area.
Chairs • Ilias Tachmazidis, University of Huddersfield , UK • Sotiris Batsakis, University of Huddersfield , UK • Livio Robaldo, University of Swansea, UK • Emmanuel Papadakis, University of Huddersfield , UK • Adam Wyner, University of Swansea, UK 6. Cognitive Architectures for Robotics: LLMs and Logic in Action 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA 2025) The 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA) explored the integration of large language models, symbolic reasoning, and logic-based systems to advance intelligent robotics. Emphasizing hybrid approaches that combine the adaptability of data-driven models with the precision of symbolic solvers, CARLA featured three short papers, including a pre-published. These contributions addressed iterative ASP pipelines for robotic game playing, Prolog-based knowledge and planning frameworks informed by LLMs, and applications of ASP and PDDL+ in urban trafic control. Together, they demonstrated the potential of cognitive architectures for enabling robust, explainable, and adaptable robotic behavior in complex domains. • Fabrizio Lo Scudo, University of Calabria, Italy • Sotirios Batsakis, Hellenic Mediterranean University, Greece • Manuel Alejandro Borroto Santana, University of Calabria, Italy Program Committee • Andrea Cuteri, University of Calabria, Italy • Francesco Sergio Pisani, ICAR-CNR, Italy • Giovanni Terremoto, Sapienza Università di Roma, Italy • Stefano Forti, University of Pisa, Italy
21st Doctoral Consortium on Logic Programming The Doctoral Consortium (DC) on Logic Programming provides students and early-career researchers with the opportunity to present and discuss their research directions and obtain feedback from both peers and experts in the field. The DC is designed for students at any stage of their doctoral studies, or who are about to start it. Applicants conduct research in areas related to logic and constraint programming, where the topics of interest include (but are not limited to): Foundations, Languages, Declarative Programming, Implementation, Applications, Related Paradigms and Synergies. The 21st edition of the DC comprises a total of 21 short papers.
• Alice Tarzariol, University of Klagenfurt, Austria • Markus Hecher, University of Artois, CNRS, Computer Science Research Center of Lens (CRIL),
France
Program Committee • Eleonora Iotti, University of Parma, Italy • Vladimir Lifschitz, University of Texas at Austin, USA • Yanhong Annie Liu, Stony Brook University, USA • Marco Maratea, University of Calabria, Italy • Michael Morak, University of Klagenfurt, Austria • Jose Morales, Universidad Politécnica de Madrid (UPM) and IMDEA Software Research Institute,
Spain • Zeynep Saribatur, TU Wien, Austria • Torsten Schaub, University of Potsdam, Germany • Frank D. Valencia, CNRS-LIX, École Polytechnique, France • Stefan Woltran, TU Wien, Austria