The recently accepted papers in TPLP are the following:
-
- Argumentative Characterizations of (Extended) Disjunctive Logic Programs
Heyninck, Jesse; Arieli, Ofer - Impact and Performance of Randomized Test-Generation using Prolog
Gelderie, Marcus; Luff, Maximilian; Peltzer, Maximilian - Question Answering with LLMs and Learning from Answer Sets. Manuel Borroto, Katie Gallagher, Antonio Ielo, Irfan Kareem, Francesco Ricca, Alessandra Russo
-
HONGBO HU, YISONG WANG, YI HUANG, KEWEN WANG
-
Deductive Systems for Logic Programs with Counting
Fandinno, Jorge; Lifschitz, Vladimir - ANTHEM: Answer Set Programming and Automated Theorem Proving. Jorge Fandinno, Christoph Glinzer, Zachary Hansen, Jan Heuer, Yuliya Lierler, Vladimir Lifschitz, Torsten Schaub and Mohimenul Kabir, Tobias Stolzmann.
-
A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory. Samuele Pollaci, Babis Kostopoulos, Marc Denecker, and Bart Bogaerts
- Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penalties. Vineel Tummala, Daniela Inclezan
-
NILS KÜCHENMEISTER , ALEX IVLIEV , and MARKUS KRÖTZSCH.
- Argumentative Characterizations of (Extended) Disjunctive Logic Programs
