List of accepted papers

Regular Papers (TPLP Proceedings)

Felicidad Aguado, Pedro Cabalar, Brais Muñiz Castro, Gilberto Pérez and Concepcion Vidal. 

Comparing Non-minimal Semantics for Disjunction in Answer Set Programming

Mario Alviano, Wolfgang Faber and Luis Angel Rodriguez Reiners.  

ASP Chef grows Mustache to look better

Damiano Azzolini, Marco Duca, Stefano Forti, Francesco Gallo and Antonio Ielo.

Application Placement with Constraints Relaxation

Damiano Azzolini, Fabrizio Riguzzi and Theresa Swift. 

Integrating Belief Domains into Probabilistic Logic Programming

Lucia Balažová, Richard Comploi-Taupe, Susana Hahn, Nicolas Rühling and Gottfried Schenner. 

Smart Expansion Techniques for ASP-based Interactive Configuration

Alexander Beiser, Markus Hecher and Stefan Woltran. 

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics

Rachel Ben-Eliyahu-Zohary. 

Splitting a Disjunctive Logic Program

Alessandro Bertagnon, Marcello Dalpasso, Michele Favalli and Marco Gavanelli. 

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming

Aysu Bogatarkan and Esra Erdem. 

A General Framework for Dynamic MAPF using Multi-Shot ASP and Tunnels

Pierangela Bruno, Carmine Dodaro, Giuseppe Galatà, Marco Maratea and Marco Mochi. 

Improving ASP-based ORS Schedules through Machine Learning Predictions

Pedro Cabalar, Martín Diéguez, François Olivier, Torsten Schaub and Igor Stéphan.

Towards Constraint Temporal Answer Set Programming

Angelos Charalambidis, Babis Kostopoulos, Christos Nomikos and Panos Rondogiannis.

The Power of Negation in Higher-Order Datalog

Marco Ciccalè, Daniel Jurjo, Jose F. Morales, Pedro Lopez-Garcia and Manuel V. Hermenegildo.  

Hiord^#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs

Wlodek Drabent. 

Systematic construction of correct logic programs

Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch and Tobias Kaminski. 

ASP-FZN: A Translation-based Constraint Answer Set Solver

Müge Fidan and Esra Erdem.  

Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems

Jorge Fandinno, Christoph Glinzer, Zachary Hansen, Jan Heuer, Yuliya Lierler, Vladimir Lifschitz, Torsten Schaub and Tobias Stolzmann.
ANTHEM: Answer Set Programming and Automated Theorem Proving

Mohimenul Kabir, Supratik Chakraborty and Kuldeep S Meel. 

Counting Answer Sets of Disjunctive Answer Set Programs

Parth Padalkar and Gopal Gupta. 

Symbolic Rule Extraction from Attention-Guided Sparse Representations in Vision Transformers

Etienne Payet.  

Non-Termination of Logic Programs Using Patterns

Enrico Santi, Fabio Tardivo, Agostino Dovier and Andrea Formisano. 

GPU Accelerated Compact-Table Propagation

Johannes Schmidt, Mohamed Maizia, Victor Lagerkvist and Johannes K. Fichte. 

Complexity of Faceted Explanations in Propositional Abduction

Alice Tarzariol, Marco Maratea and Mauro Vallati. 

A CASP-based Solution for Traffic Signal Optimisation 

Baturay Yılmaz and Esra Erdem. 

Generating Solvable Benchmark Instances for Stable Roommates Problems with Optimization

Technical Communications (EPCTS Proceedings)

Dyuman Aditya, Colton Payne, Mario Alejandro Leiva and Paulo Shakarian.
Machine Learning Model Integration with Open World Temporal Logic for Process Automation

Mario Alviano, Laura Giordano and Daniele Theseider Dupre.
A framework for Conditional Reasoning in Answer Set Programming

Benjamin Callewaert, Simon Vandevelde and Joost Vennekens.
VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning

Simone Caruso, Carmine Dodaro and Marco Maratea.
Representing and Evaluating SBVR Specification via ASP

Simone Caruso, Carmine Dodaro, Marco Maratea, Cinzia Marte and Marco Mochi.
A Framework for Solving Logic-Based Scheduling Problems in Healthcare

Luís Cruz-Filipe and Jonas Vistrup.
FÆRDXEL: An Expert System for Danish Traffic Law

Andrea Cuteri, Giuseppe Mazzotta and Francesco Ricca.
Enhancing compilation-based ASP through lazy atom discovery

Racquel Dennison, Jesse Heyninck and Tommie Meyer.
Defeasible Conditionals in Answer Set Programming

Martín Diéguez and Igor Stéphan.
Extracting Policies from Quantified Answer Set Programs

Talissa Dreossi, Agostino Dovier, Francesca Corte Pause, Susy Urli and Martina Crociati.
Explainable AI for Sperm Morphology: Integrating YOLO with FastLAS

Talissa Dreossi, Agostino Dovier, Andrea Formisano and Benedetta Strizzolo.
XAI-LAW A logic programming tool for modeling, explaining, and learning legal decisions

Md Mohimenul Kabir and Kuldeep S Meel.
An ASP-Based Framework for MUSes

Mohimenul Kabir and Kuldeep S Meel.
A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets

Keegan Kimbrell, Tianhao Wang, Feng Chen and Gopal Gupta.
Correcting Autonomous Driving Object Detection Misclassifications with Automated Commonsense Reasoning

Jaikrishna Manojkumar Patil, Adam Chapman, Richard Knuszka, John Chapman and Paulo Shakarian.
Reasoning about Medical Triage Optimization with Logic Programming

Fred Mesnard, Thierry Marianne and Etienne Payet.
Automated Theorem Proving for  Prolog Verification

Sanderson Molick and Vaishak Belle.
Propositional Abduction via Only-Knowing: A Non-Monotonic Approach

Mariela Morveli Espinoza and Juan Carlos Nieves.
Type-based Argumentation Frameworks and their Application in Misinformation

Hidetomo Nabeshima, Mutsunori Banbara, Torsten Schaub and Takehide Soh.
The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital

Jens Otten and Torsten Schaub.
Implementing the First-Order Logic of Here and There

Ivan Perez and Ángel Herranz.
Logic Programming with Extensible Types

Samuele Pollaci.
Fixpoint Semantics for DatalogMTL with Negation

Arun Raveendran Nair Sheela, Florence De Grancey, Christophe Rey and Victor Charpenay.
Hybrid-MKNF for Aeronautics Applications: Usage and Heuristics

Sascha Rechenberger and Thom Frühwirth.
A refined operational semantics for FreeCHR

Veronika Semmelrock and Gerhard Friedrich.
Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing

Akihiro Takemura, Masayuki Otani and Katsumi Inoue.
Formally Explaining Decision Tree Models with Answer Set Programming

Trang Tran, Trung Le, Huiping Cao and Tran Cao Son.
An LLM + ASP Workflow for Joint Entity-Relation Extraction 

Ly Ly Trieu and Tran Cao Son.
xDNN(ASP): Explanation Generation System for Deep Neural Networks powered by Answer Set Programming

Van-Giang Trinh, Sylvain Soliman, François Fages and Belaid Benhamou.
On the Trap Space Semantics of Normal Logic Programs

Alexis Tudor, Joaquín Arias and Gopal Gupta.
VECSR: Virtually Embodied Common Sense Reasoning System

Nijesh Upreti and Vaishak Belle.
Logic Tensor Network-Enhanced Generative Adversarial Network

Ondřej Vašíček, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian R Larson and Tomas Vojnar.
On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming

Michela Vespa, Elena Bellodi, Marco Gavanelli and Evelina Lamma.
SCIFFprob: A Probabilistic Abductive Framework for Compliance Verification

Alina Vozna, Andrea Monaldini, Stefania Costantini, Valentina Pitoni and Dawid Pado.
An ASP-based Solution to the Medical Appointment Scheduling Problem

Sanne Wielinga and Jesse Heyninck. 

Interpretable Hybrid Machine Learning Models Using FOLD-R++ and Answer Set Programming

Ziyi Yang, George Pîrlea and Ilya Sergey. 

Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference

Neng-Fa Zhou, Cristian Grozea, Håkan Kjellerstrand and Oisín Mac Fhearaí. 

Picat Through the Lens of Advent of Code

Fengming Zhu and Fangzhen Lin. 

Computing Universal Plans for Partially Observable Multi-Agent Routing Using Answer Set Programming

Fengming Zhu, Weijia Xu, Yifei Guo and Fangzhen Lin. 

The Combined Problem of Online Task Assignment and Lifelong Path Finding in Logistics Warehouses: Rule-Based Systems Matter