ICLP 2023: Preliminary TPLP Special Issue Content

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