| 2023 | "Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming. Kilian Rückschloß, Felix Weitkämper |
| 2023 | A Dataflow Analysis for Comparing and Reordering Predicate Arguments. Gonzague Yernaux, Wim Vanhoof |
| 2023 | A Logic Programming Approach to Global Logistics in a Co-Design Environment. Emmanuelle Dietz, Tobias Philipp, Gerrit Schramm, Andreas Zindel |
| 2023 | ABA Learning via ASP. Emanuele De Angelis, Maurizio Proietti, Francesca Toni |
| 2023 | An xAI Approach for Data-to-Text Processing with ASP. Alessandro Dal Palù, Agostino Dovier, Andrea Formisano |
| 2023 | Assessing Drivers' Situation Awareness in Semi-Autonomous Vehicles: ASP based Characterisations of Driving Dynamics for Modelling Scene Interpretation and Projection. Jakob Suchan, Jan-Patrick Osterloh |
| 2023 | Benchmarking for Integrating Logic Rules with Everything Else. Yanhong A. Liu, Scott D. Stoller, Yi Tong, K. Tuncay Tekle |
| 2023 | Beyond Traditional Neural Networks: Toward adding Reasoning and Learning Capabilities through Computational Logic Techniques. Andrea Rafanelli |
| 2023 | Bottom-Up Stratified Probabilistic Logic Programming with Fusemate. Peter Baumgartner, Elena Tartaglia |
| 2023 | Deep Inductive Logic Programming meets Reinforcement Learning. Andreas C. Bueff, Vaishak Belle |
| 2023 | Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials. Daniela Ferreiro, José F. Morales, Salvador Abreu, Manuel V. Hermenegildo |
| 2023 | Deontic Paradoxes in ASP with Weak Constraints. Christian Hatschka, Agata Ciabattoni, Thomas Eiter |
| 2023 | Explainable Answer-set Programming. Tobias Geibinger |
| 2023 | Explainable and Trustworthy Traffic Sign Detection for Safe Autonomous Driving: An Inductive Logic Programming Approach. Zahra Chaghazardi, Saber Fallah, Alireza Tamaddoni-Nezhad |
| 2023 | Explanations for Answer Set Programming. Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini |
| 2023 | Generalizing Level Ranking Constraints for Monotone and Convex Aggregates. Tomi Janhunen |
| 2023 | Inductive Learning of Declarative Domain-Specific Heuristics for ASP. Richard Comploi-Taupe |
| 2023 | Inferring Compensatory Kinase Networks in Yeast using Prolog. George Aristidis Elder, Conrad Bessant |
| 2023 | Leasing the Cloud-Edge Continuum, à la Carte. Stefano Forti, Ahmad Ibrahim, Antonio Brogi |
| 2023 | Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem. Paul Tarau |
| 2023 | Nemo: First Glimpse of a New Rule Engine. Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch |
| 2023 | On Feasibility of Declarative Diagnosis. Wlodzimierz Drabent |
| 2023 | On the Independencies Hidden in the Structure of a Probabilistic Logic Program. Kilian Rückschloß, Felix Weitkämper |
| 2023 | On the Potential of CLIP for Compositional Logical Reasoning. Justin Brody |
| 2023 | Penalization Framework For Autonomous Agents Using Answer Set Programming. Vineel S. K. Tummala |
| 2023 | Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023. Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur S. d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni |
| 2023 | Quantification and aggregation over concepts of the ontology. Pierre Carbonnelle, Matthias van der Hallen, Marc Denecker |
| 2023 | Reliable Natural Language Understanding with Large Language Models and Answer Set Programming. Abhiramon Rajasekharan, Yankai Zeng, Parth Padalkar, Gopal Gupta |
| 2023 | Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis. Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García |
| 2023 | Sorting Strategies for Interactive Conflict Resolution in ASP. Andre Thevapalan, Gabriele Kern-Isberner |
| 2023 | The Janus System: Multi-paradigm Programming in Prolog and Python. Theresa Swift, Carl Andersen |
| 2023 | Towards One-Shot Learning for Text Classification using Inductive Logic Programming. Ghazal Afroozi Milani, Daniel Cyrus, Alireza Tamaddoni-Nezhad |
| 2023 | Understanding ProbLog as Probabilistic Argumentation. Francesca Toni, Nico Potyka, Markus Ulbricht, Pietro Totis |