The recently accepted papers in TPLP are the following:
- Learning Distributional Programs for Relational Autocompletion.
Nitesh Kumar, Ondřej Kuželka, Luc De Raedt -
Defeasible Reasoning via Datalog¬. Michael Maher
-
Specifying and Reasoning about CPS through the Lens of the NIST Thanh Nguyen, Tran Son, Matthew Bundas, Marcello Balduccini, Kathleen Garwood, Edward Griffor.
- ValAsp: a tool for data validation in Answer Set Programming. Mario Alviano, Carmine Dodaro, Arnel Carmine
-
On the Foundations of Grounding in Answer Set Programming Roland Kaminski and Torsten Schaub
-
Positive Dependency Graphs Revisited Jorge Fandinno, Vladimir Lifschitz
-
On Establishing Robust Consistency in Answer Set Programs. Andre THEVAPALAN, Gabriele KERN-ISBERNER
-
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems. FABIO AURELIO D’ASARO, LUCA RAGGIOLI, SALIM MALEK, MARCO GRAZIOSO, SILVIA ROSSI
- Unifying Framework for Optimizations in Non-boolean Formalisms. Yuliya Lierler.
- Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. Eiter, Thomas; Geibinger, Tobias; Musliu, Nysret; Oetsch, Johannes; Skocovsky, Peter; Stepanova, Daria.
-
Distributed Subweb Specifications for Traversing the Web. Bogaerts, Bart; Kestman, Bas; Zeboudj, Younes; Aamer, Heba; Taelman, Ruben; Verborgh, Ruben
-
Disjunctive Delimited Control. ALEXANDER VANDENBROUCKE and TOM SCHRIJVERS.
-
Solving Rehabilitation Scheduling problems via a Two-Phase ASP approach. MATTEO CARDELLINI, PAOLO DE NARDI, CARMINE DODARO, GIUSEPPE GALATA`, ANNA GIARDINI, MARCO MARATEA, IVAN PORRO
-
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics. Daniel Bresnahan, Nicholas Hippen, and Yuliya Lierler.
- Stable Model Semantics in ProbLog for Probabilistic Argumentation. Pietro Totis, Luc De Raedt, Angelika Kimmig.
- The Stable Model Semantics of Datalog with Metric Temporal Operators
Wałęga, Przemysław; Tena Cucala, David; Cuenca Grau, Bernardo; Kostylev, Egor V. -
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games STEFANO BISTARELLI, MARIA CHIARA MEO, CARLO TATICCHI
-
Dyadic Existential Rules Authors: Gottlob, Georg, Manna, Marco, Marte, Cinzia
-
Querying Data Exchange Settings Beyond Positive Queries Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
-
Compositional verification in rewriting logic ÓSCAR MARTÍN, ALBERTO VERDEJO, NARCISO MARTÍ-OLIET
SPECIAL ISSUE ON ICLP 2023 LONDON
- Implementing backjumping by means of exception handling. Wlodzimierz Drabent
- External Behavior of a Logic Program and Verification of Refactoring. Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz and Nathan Temple
- An Efficient solver for ASP(Q) Wolfgang Faber, Giuseppe Mazzotta and Francesco Ricca
- Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs Masood Feyzbakhsh Rankooh and Tomi Janhunen
- Knowledge Authoring for Rules and Actions uheng Wang, Paul Fodor and Michael Kifer
- Locksynth: A tool to derive synchronization code for concurrent data structures using Answer Set Programming Sarat Chandra Varanasi, Neeraj Mittal and Gopal Gupta
- An ASP Framework for the Refinement of Authorization and Obligation Policies Daniela Inclezan
- Logic-Based Benders Decomposition in Answer Set Programming for chronic outpatients scheduling Paola Cappanera, Marco Gavanelli, Maddalena Nonato and Marco Roma
- Toward A Logical Theory Of Fairness and Bias: A Situation Calculus Formalisation Vaishak Belle
- “What if?” in Probabilistic Logic Programming Rafael Kiesel, Kilian Rueckschloss and Felix Weitkämper
- Automatic Differentiation in Prolog Tom Schrijvers, Birthe van den Berg and Fabrizio Riguzzi
- Learnability with PAC Semantics for Multi-agent Beliefs Ionela Mocanu, Vaishak Belle and Brendan Juba
- 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
- ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction Trung Le, Tran Cao Son and Huiping Cao
- Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates Jesse Heyninck and Bart Bogaerts
- Interactive Model Expansion in an Observable Environment Pierre Carbonnelle, Bart Bogaerts, Joost Vennekens and Marc Denecker
- On Program Completion, with an Application to the Sum and Product Puzzle Vladimir Lifschitz
- Integrating Logic Rules with Everything Else, Seamlessly Yanhong A. Liu, Scott D. Stoller, Yi Tong and Bo Lin
- Knowledge-based Reasoning and Learning under Partial Observability for Ad Hoc Teamwork Hasra Dodampegama and Mohan Sridharan
- Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach Michael Gelfond, Jorge Fandinno and Evgenii Balai