The following are the arXiv versions of the papers accepted for the Theory and Practice of Logic Programming special issue for the ICLP 2023 conference.
| Implementing backjumping by means of exception handling | Wlodzimierz Drabent | https://arxiv.org/abs/2305.16137 |
| External Behavior of a Logic Program and Verification of Refactoring | Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz and Nathan Temple | https://arxiv.org/abs/2305.17485 |
| An Efficient solver for ASP(Q) | Wolfgang Faber, Giuseppe Mazzotta and Francesco Ricca | https://arxiv.org/abs/2305.10021 |
| Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs | Masood Feyzbakhsh Rankooh and Tomi Janhunen | https://arxiv.org/abs/2306.05069 |
| Knowledge Authoring for Rules and Actions | Yuheng Wang, Paul Fodor and Michael Kifer | https://arxiv.org/abs/2305.07763 |
| Locksynth: A tool to derive synchronization code for concurrent data structures using Answer Set Programming | Sarat Chandra Varanasi, Neeraj Mittal and Gopal Gupta | https://arxiv.org/abs/2305.18225 |
| An ASP Framework for the Refinement of Authorization and Obligation Policies | Daniela Inclezan | http://arxiv.org/abs/2305.13190 |
| Logic-Based Benders Decomposition in Answer Set Programming for chronic outpatients scheduling | Paola Cappanera, Marco Gavanelli, Maddalena Nonato and Marco Roma | https://arxiv.org/abs/2305.11969 |
| Toward A Logical Theory Of Fairness and Bias: A Situation Calculus Formalisation | Vaishak Belle | https://arxiv.org/abs/2306.13659 |
| “What if?” in Probabilistic Logic Programming | Rafael Kiesel, Kilian Rueckschloss and Felix Weitkämper | https://arxiv.org/pdf/2305.15318 |
| Automatic Differentiation in Prolog | Tom Schrijvers, Birthe van den Berg and Fabrizio Riguzzi | https://arxiv.org/abs/2305.07878 |
| Learnability with PAC Semantics for Multi-agent Beliefs | Ionela Mocanu, Vaishak Belle and Brendan Juba | https://arxiv.org/abs/2306.05490 |
| 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 | https://arxiv.org/abs/2305.10113 |
| ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction | Trung Le, Tran Cao Son and Huiping Cao | https://arxiv.org/abs/2305.15374 |
| Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates | Jesse Heyninck and Bart Bogaerts | https://arxiv.org/abs/2305.10846 |
| Interactive Model Expansion in an Observable Environment | Pierre Carbonnelle, Bart Bogaerts, Joost Vennekens and Marc Denecker | https://arxiv.org/abs/2305.17140 |
| On Program Completion, with an Application to the Sum and Product Puzzle | Vladimir Lifschitz | http://arxiv.org/abs/2305.15360 |
| Integrating Logic Rules with Everything Else, Seamlessly | Yanhong A. Liu, Scott D. Stoller, Yi Tong and Bo Lin | https://arxiv.org/abs/2305.19202 |
| Knowledge-based Reasoning and Learning under Partial Observability for Ad Hoc Teamwork | Hasra Dodampegama and Mohan Sridharan | https://arxiv.org/abs/2306.00790 |
| Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach | Michael Gelfond, Jorge Fandinno and Evgenii Balai | https://arxiv.org/abs/2306.03874 |