Papers are preliminarly available on the ALP website. They are as well being released on the TPLP journal website.
"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
Technical Communications Proceedings are now available.
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