Accepted Papers

"What If?" in Probabilistic Logic Programming
Rafael Kiesel, Kilian Rückschloß and Felix Weitkämper

An ASP Framework for the Refinement of Authorization and Obligation Policies
Daniela Inclezan

Automatic Differentiation in Prolog
Tom Schrijvers, Birthe van den Berg and Fabrizio Riguzzi

Integrating Logic Rules with Everything Else, Seamlessly
Yanhong A. Liu, Scott D. Stoller, Yi Tong and Bo Lin

Knowledge Authoring for Rules and Actions
Yuheng Wang, Paul Fodor and Michael Kifer

Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
Michael Gelfond, Jorge Fandinno and Evgenii Balai

External Behavior of a Logic Program and Verification of Refactoring
Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz and Nathan Temple

Learnability with PAC Semantics for Multi-agent Beliefs
Ionela Georgiana Mocanu, Vaishak Belle and Brendan Juba

ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction
Trung Le, Huiping Cao and Tran Cao Son

Capturing (Optimal) Relaxed Plans with  Stable and Supported Models of Logic Programs
Masood Feyzbakhsh Rankooh and Tomi Janhunen

On Program Completion, with an Application to the Sum and Product Puzzle
Vladimir Lifschitz

Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork
Hasra Dodampegama and Mohan Sridharan

Toward A Logical Theory Of Fairness and Bias
Vaishak Belle

An Efficient solver for ASP(Q)
Wolfgang Faber, Giuseppe Mazzotta and Francesco Ricca

Interactive Model expansion in an Observable Environment
Pierre Carbonnelle, Joost Vennekens, Marc Denecker and Bart Bogaerts

Implementing backjumping by means of exception handling
Wlodek Drabent

Locksynth: Automatically Deriving Synchronization Code for Concurrent Data Structures with ASP
Sarat Chandra Varanasi, Neeraj Mittal and Gopal Gupta

Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates
Jesse Heyninck and Bart Bogaerts

Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
Vito Barbara, Massimo Guarascio, Nicola Leone, Giuseppe Manco, Alessandro Quarta, Francesco Ricca and Ettore Ritacco

Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling
Paola Cappanera, Marco Gavanelli, Maddalena Nonato and Marco Roma

Deontic Paradoxes in ASP with Weak Constraints
Christian Hatschka, Agata Ciabattoni and Thomas Eiter

Explanations for Answer Set Programming
Mario Alviano, Ly Ly Trieu, Tran Cao Son and Marcello Balduccini

Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis
Maximiliano Klemen, Miguel Á. Carreira-Perpiñán and Pedro Lopez-Garcia

Leasing the Cloud-Edge continuum, à la carte
Stefano Forti, Ahmad Ibrahim and Antonio Brogi

Assessing Drivers Situation Awareness in Semi-Autonomous Vehicles: ASP based Characterisations of Driving Dynamics for Modeling Scene Interpretation and Projection
Jakob Suchan and Jan-Patrick Osterloh

Inferring Compensatory Kinase Networks in Yeast using Prolog
George Aristidis Elder and Conrad Bessant

The Janus System: Multi-paradigm Programming in Prolog and Python
Theresa Swift

Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem
Paul Tarau

Benchmarking for Integrating Logic Rules with Everything Else
Yanhong A. Liu, Scott D. Stoller, Yi Tong and K. Tuncay Tekle

A Dataflow Analysis for Comparing and Reordering Predicate Arguments
Gonzague Yernaux and Wim Vanhoof

Bottom-Up Stratified Probabilistic Logic Programming with Fusemate
Peter Baumgartner and Elena Tartaglia

Generalizing Level Ranking Constraints for Monotone and Convex Aggregates
Tomi Janhunen

Explainable and Trustworthy Traffic Sign Detection for Safe Autonomous Driving: an Inductive Logic Programming Approach
Zahra Chaghazardi, Saber Fallah and Alireza Tamaddoni Nezhad

Deep Inductive Logic Programming meets Reinforcement Learning
Andreas Bueff and Vaishak Belle

Inductive Learning of Declarative Domain-Specific Heuristics for ASP
Richard Comploi-Taupe

On the Independencies Hidden in the Structure of a Probabilistic Logic Program
Kilian Rueckschloss and Felix Weitkämper

Towards a Representation of Decision Theory Problems with Probabilistic Answer Set Programs
Damiano Azzolini, Elena Bellodi and Fabrizio Riguzzi

Towards One-Shot Learning for Text Classification Using Inductive Logic Programming
Ghazal Afroozi Milani, Daniel Cyrus and Alireza Tamaddoni-Nezhad

Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases - Extended Abstract
Mario Alviano, Laura Giordano and Daniele Theseider Dupre

Quantification and aggregation over concepts of the ontology
Pierre Carbonnelle, Matthias Van der Hallen and Marc Denecker

A Logic Programming Approach to Global Logistics in a Co-Design Environment
Emmanuelle Dietz, Tobias Philipp, Gerrit Schramm and Andreas Zindel

A rule-based approach for designing and composing abstract domains.
Daniel Jurjo, Jose F. Morales, Pedro López-García and Manuel V. Hermenegildo

Reliable Natural Language Understanding with Large Language Models and Answer Set Programming
Abhiramon Rajasekharan, Yankai Zeng, Parth Padalkar and Gopal Gupta

Sorting Strategies for Interactive Conflict Resolution in ASP
Andre Thevapalan and Gabriele Kern-Isberner

An xAI approach for data-to-text processing with ASP
Alessandro Dal Palù, Agostino Dovier and Andrea Formisano

Counterfactual Explanations as Plans
Vaishak Belle

ABA Learning via ASP
Emanuele De Angelis, Maurizio Proietti and Francesca Toni

"Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming
Kilian Rueckschloss and Felix Weitkämper

On the Potential of CLIP for Compositional Logical Reasoning
Justin Brody

On feasibility of declarative diagnosis
Wlodek Drabent

Understanding ProbLog as Probabilistic Argumentation
Francesca Toni, Nico Potyka, Markus Ulbricht and Pietro Totis

Multiple Query Satisfiability of Constrained Horn Clauses
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti

Logical English Demonstration
Robert Kowalski and Jacinto Dávila.

Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials
Daniela Ferreiro, Jose F. Morales, Salvador Abreu and Manuel V. Hermenegildo

Nemo: First Glimpse of a New Rule Engine
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel and Markus Krötzsch

Anthem-P2P: Automatically Verifying the Equivalent External Behavior of ASP Programs
Zachary Hansen

Forgetting Web
Matti Berthold, Matthias Knorr and Daphne Odekerken

On the Development of PASTA: Inference in Probabilistic Answer Set Programming under the Credal Semantics
Damiano Azzolini

PySpArX - A Python library for generating Sparse Argumentative eXplanations for neural networks
Ioana Mihailescu, Alan Weng, Siddharth Sharma, Mihnea Ghitu, Dilshaan Grewal, Khemi Chew, Hamed Ayoobi, Nico Potyka and Francesca Toni

Summary of Statistical Statements in Probabilistic Logic Programming
Damiano Azzolini, Elena Bellodi and Fabrizio Riguzzi

Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
Fangfang Liu and Jia-Huai You

Error-free Smart Legal Contracts without Programmers
Kevin Purnell and Rolf Schwitter

Axiomatization of Aggregates: Extended Abstract
Jorge Fandinno, Zachary Hansen and Yuliya Lierler

Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming
Ramsha Ali, Mohammed El-Kholany and Martin Gebser

Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck
Viktor Besin, Markus Hecher and Stefan Woltran

Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
Simon Vandevelde and Joost Vennekens

FOLL-E: Teaching First Order Logic to Children
Simon Vandevelde and Joost Vennekens

Learning to Break Symmetries for Efficient Optimization in Answer Set Programming
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin and Mark Law

Visual Sensemaking Needs Both Vision and Semantics: On Logic-Based Declarative Neurosymbolism for Reasoning about Space and Motion
Jakob Suchan, Mehul Bhatt and Srikrishna Varadarajan

AI Safety and Ethics Contemporary and Future Considerations
Francis Ward, Henrik Aslund, Dylan Cope, Mackenzie Jorgensen, Nandi Schoots and Luke Thorburn