Accepted papers

The recently accepted papers in TPLP are the following:

    1. Argumentative Characterizations of (Extended) Disjunctive Logic Programs
      Heyninck, Jesse; Arieli, Ofer
    2. Impact and Performance of Randomized Test-Generation using Prolog
      Gelderie, Marcus; Luff, Maximilian; Peltzer, Maximilian
    3. Question Answering with LLMs and Learning from Answer Sets. Manuel Borroto, Katie Gallagher, Antonio Ielo, Irfan Kareem, Francesco Ricca, Alessandra Russo
    4. HONGBO HU, YISONG WANG, YI HUANG, KEWEN WANG
    5. Deductive Systems for Logic Programs with Counting
      Fandinno, Jorge; Lifschitz, Vladimir
    6. 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.
    7. A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory. Samuele Pollaci, Babis Kostopoulos, Marc Denecker, and Bart  Bogaerts
    8. Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penalties. Vineel Tummala, Daniela Inclezan
    9. NILS KÜCHENMEISTER , ALEX IVLIEV , and MARKUS KRÖTZSCH.