Accepted Papers
Long Papers
Mario Alviano, Susana Hahn, Orkunt Sabuncu and Hannes Weichelt: Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets.
Mario Alviano and Luis Angel Rodriguez Reiners: Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping.
Ringo Baumann and Hannes Strass: Consequence Operators of Characterization Logics – The Case of Abstract Argumentation.
Joachim Baumeister, Konstantin Herud, Max Ostrowski, Jochen Reutelshoefer, Nicolas Rühling, Torsten Schaub and Philipp Wanko: Towards Industrial-scale Product Configuration.
Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero and Torsten Schaub: Compiling Metric Temporal Answer Set Programming.
Matti Berthold and Markus Ulbricht: On Forgetting in Assumption-Based Argumentation.
Stefano Bistarelli, Maria Chiara Meo and Carlo Taticchi: Modelling Dialogues in a Concurrent Language for Argumentation.
Pedro Cabalar, Martín Diéguez, François Laferriere, Torsten Schaub and Igor Stéphan: A Fixpoint Characterisation of Temporal Equilibrium Logic.
Pedro Cabalar, Adrian Dorsey, Jorge Fandinno, Yuliya Lierler, Brais Muñiz and Joel Sare: tExplain: Information Extraction with Explanations.
Francesco Chiariello, Antonio Ielo and Alice Tarzariol: An ILASP-Based Approach to Repair Petri Nets.
Hasra Dodampegama and Mohan Sridharan: Reasoning and Explanation Generation in Ad hoc Collaboration between Humans and Embodied AI.
Talissa Dreossi, Alessandra Russo, Agostino Dovier, Agostino Manzato, Mark Law, Matthew Tait and Andrea Formisano: Towards Explainable Weather Forecasting Through FastLAS.
Jorge Fandinno and Vladimir Lifschitz: Deductive Systems for Logic Programs with Counting: Preliminary Report.
Valeria Fionda, Antonio Ielo and Francesco Ricca: LTLf2ASP: LTLf Bounded Satisfiability in ASP.
Esteban Guerrero and Juan Carlos Nieves: Semantic-based Arguments using Logic Programming Rewriting Systems.
Jesse Heyninck, Matthias Knorr and Joao Leite: Abstract Dialectical Frameworks are Boolean Networks.
Antonio Ielo, Salvatore Falco, Salvatore Iiritano, Patrizia Piro, Ada Polizzi and Francesco Ricca: An ASP-based approach to water distribution system reconstruction.
Irfan Kareem, Katie Gallagher, Manuel Borroto, Francesco Ricca and Alessandra Russo: Using Learning from Answer Sets for robust question answering with LLM.
Nils Küchenmeister, Alex Ivliev and Markus Krötzsch: Towards Mass Spectrum Analysis with ASP.
Domenico Pagliaro, Elena Mastria, Francesco Calimeri, Simona Perri, Martin Pleschberger and Konstantin Schekotihin: Monitoring and Scheduling of Semiconductor Failure Analysis Labs.
Samuele Pollaci, Babis Kostopoulos, Marc Denecker and Bart Bogaerts: A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory.
Ezgi Iraz Su: A Generalisation of Epistemic Splitting Property.
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Mutsunori Banbara: ASP-based Large Neighborhood Prioritized Search for Course Timetabling.
Theresa Swift and Michael Kifer: Multi-paradigm Logic Programming in the ErgoAI System.
Long Tran, Tran Cao Son, Dylan Flynn and Marcello Balduccini: A Multi-Agent Simulation for Supply Chains Contract Execution.
Vineel Tummala and Daniela Inclezan: Policies, Penalties, and Autonomous Agents.
Robbe Van den Eede, Robbe Van Biervliet and Marc Denecker: A Sequent Calculus for Generalized Inductive Definitions.
Short papers
Mario Alviano, Paola Guarasci, Luis Angel Rodriguez Reiners and Ilaria R. Vasile: Integrating Structured Declarative Language (SDL) into ASP Chef.
Iosif Apostolakis, Zeynep G. Saribatur and Johannes P. Wallner: A Semantical Approach to Abstraction in Answer Set Programming and Assumption-based Argumentation.
Lucas Van Laer, Simon Vandevelde and Joost Vennekens: Efficiently grounding FOL using bit vectors.