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. A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory. Pollaci, Samuele; Kostopoulos, Babis; Denecker, Marc; Bogaerts, Bart
    5. HONGBO HU, YISONG WANG, YI HUANG, KEWEN WANG
    6. Deductive Systems for Logic Programs with Counting
      Fandinno, Jorge; Lifschitz, Vladimir
    7. 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.