ICLP-WS-DC 2025

Table of Contents

• PDF
  Pierangela Bruno, Jorge Fandinno
• Enhancing Compilation-based ASP Solving with Postponed Atom Discovery 15-15 PDF
  Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
• Temporal Conditional Reasoning with Weighted Knowledge Bases 8-8 PDF
  Mario Alviano, Laura Giordano, Daniele Theseider Dupré
• neXSim: A System for Explaining Nexus of Similarities 9-9 PDF
  Giovanni Amendola, Pietro Cofone, Marco Manna, Aldo Ricioppo
• On the Translation of ASP Rules to (Controlled) Natural Language Sentences 12-12 PDF
  Simone Caruso, Carmine Dodaro, Fabrizio Lo Scudo, Marco Maratea, Kristian Reale
• Resource Allocation with Cooperative Agents 8-8 PDF
  Stefania Costantini, Giovanni De Gasperis, Pasquale De Meo, Francesco Gullo, Alessandro Provetti
• Scalable and Ethical Medical Scheduling: An ASP-Based Framework with Patient-Centered Experimental Validation 8-8 PDF
  Alina Vozna, Andrea Monaldini, Stefania Costantini, Dawid Pado, Valentina Pitoni
• Global Type Inference for Java using Answer Set Programming 13-13 PDF
  Andreas Stadelmeier, Martin Plümicke
• Representing and Evaluating SBVR Specification via ASP 17-17 PDF
  Simone Caruso, Carmine Dodaro, Marco Maratea
• ASP Chef Creates Surveys 14-14 PDF
  Mario Alviano, Davide Cirimele, Luis Angel Rodriguez Reiners
• A Preliminary Evaluation of Open-Source LLMs for Datalog-Based Semantic Parsing in the ASVIN Project 13-13 PDF
  Mario Alviano, Matteo Capalbo, Georg Gottlob, Irfan Kareem, Fabrizio Lo Scudo, Sebastiano Piccolo
• Toward Executing Datalog on Big Data Platforms - Extended Abstract 1-1 PDF
  Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
• Teaching ASP (and Its Users) to Share Code: Abstract (Invited Talk) 1-1 PDF
  Mario Alviano
• A Scalable Approach to Probabilistic Compliance in Declarative Process Mining 12-12 PDF
  Michela Vespa, Elena Bellodi
• PEG 2.0: Future-Gazing Through a Socio-Linguistic and Historical Lens 14-14 PDF
  Verónica Dahl
• Platform for Introducing Logic Programming in Bulgarian Secondary Schools - IDEAS (Intelligent Data Educational Analysis System) 12-12 PDF
  Veneta Tabakova-Komsalova, Magdalena Maglizhanova, Asya Stoyanova-Doycheva, Stanimir Stoyanov
• Constructionist Co-Design for the Learning Experience: A Work-in-Progress on Engaging Teachers to Integrate Logic Programming in Primary School 10-10 PDF
  Jorge P. Rodríguez, Laura A. Cecchi
• Some Enhancements to the Prolog Playground and ALD Notebooks for the Modern Prolog Classroom 10-10 PDF
  Jose F. Morales, Daniela Ferreiro, Manuel V. Hermenegildo
• The Simple Generative Logic Grammar: A Tool for Teaching Logical Thinking Through Visual Research in Art and Design 11-11 PDF
  Christian Jendreiko
• Decompiling Language Models into Logic Programs 11-11 PDF
  Jacinto Dávila Quintero
• Teaching Prolog and Logic Programming with Jupyter Notebooks 6-6 PDF
  Galileo Sartor, Adam Wyner
• Logic and Answer Set Programming in High School: Two Learning Unit Experiences 8-8 PDF
  Kristian Reale
• Knowledge Graphs & Reasoning in Concert: Automating Regulation in Corporate Economics 14-14 PDF
  Luigi Bellomarini, Matteo Brandetti, Andrea Gentili, Rosario Laurendi, Davide Magnanimi
• A Legal Logic Programming Framework for Autonomous Vehicles 11-11 PDF
  Galileo Sartor, Adam Z. Wyner
• Visualizing Kripke Models in LogiKEy: the Case of SDL 9-9 PDF
  Luca Pasetto, Christoph Benzmüller
• Iterative ASP Pipelines: Enhancements for Robots Playing Mobile Games 7-7 PDF
  Denise Angilica, Tayyab Ateeq, Giovambattista Ianni
• ASP and PDDL+ Applications in Urban Traffic Distribution and Control 8-8 PDF
  Mauro Vallati, Carmine Dodaro, Francesco Doria, Salvatore Fiorentino, Marco Maratea, Francesco Percassi, Alice Tarzariol
• When Prolog Meets Generative Models: a New Approach for Managing Knowledge and Planning in Robotic Applications – Abstract 1-1 PDF
  Enrico Saccon, Ahmet Tikna, Davide De Martini, Edoardo Lamon, Luigi Palopoli, Marco Roveri
• Probabilistic Declarative Process Mining 6-6 PDF
  Michela Vespa
• Neurosymbolic AI in Digital Forensics: Commonsense and Qualitative Reasoning 6-6 PDF
  Alessia Donata Camarda
• A Tool Set for Converting Controlled Natural Languages into AI Formalisms 9-9 PDF
  Simone Caruso
• Tackling the Air Traffic Flow and Capacity Management Problem with Explainable Answer Set Programming 7-7 PDF
  Alexander Beiser
• Towards Incorporating Normative Requirements In Autonomous Systems Using Datalog 6-6 PDF
  Mahrokh Mirani
• Answer Set Counting and its Applications to Network Reliability and System Biology 8-8 PDF
  Mohimenul Kabir
• Exploring Neurosymbolic Systems in Answer Set Programming with an Application to Waste Water Monitoring 9-9 PDF
  Luis Angel Rodriguez Reiners
• UserArmor: An extension for AppArmor 10-10 PDF
  Pierpaolo Sestito
• LLMASP: A Framework for Mitigating Hallucinations and Supporting Symbolic Reasoning in Large Language Models 8-8 PDF
  Lorenzo Grillo
• Formal Verification of Answer Set Programs Containing Advanced Language Constructs 9-9 PDF
  Zachary Hansen
• Exploring Digital Twins integration with ASP and ASP Chef 9-9 PDF
  Paola Guarasci
• Early Validation of High-level Requirements on Cyber-Physical Systems 7-7 PDF
  Ondřej Vašíček
• Learning ASP Domain-specific Heuristics using Transformers 8-8 PDF
  Marco Duca
• Precise Exponential-Time Complexity of Non-Monotonic Reasoning 6-6 PDF
  Mohamed Maizia
• Search-Guided Generation of Properties for Program Analyzers 9-9 PDF
  Daniela Ferreiro
• Research Summary: Explainable Artificial Intelligence in Answer Set Programming and Machine Learning 9-9 PDF
  Ly Ly Trieu
• Knowledge-Based Stable Roommates Problems 6-6 PDF
  Müge Fidan
• Enhancing Compilation-based ASP Solving 9-9 PDF
  Andrea Cuteri
• Flexible, Lifelong, Explainable, and Robust Solutions for Multi-Agent Path Finding Problems 8-8 PDF
  Aysu Bogatarkan
• General Grid Recognition and Logic-Driven Gameplay for Intelligent Robots 5-5 PDF
  Tayyab Ateeq
• A Neurosymbolic Approach to Fraud Detection on Financial Data in the Public Administration 5-5 PDF
  Michele Vitale