Accepted papers – Association for Logic Programming

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. Inductive Learning for Possibilistic Logic Programs Under Stable Models
  
  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. Towards Mass Spectrum Analysis with ASP
  
  Nils Küchenmeister, Alex Ivliev, Markus Krötzsch.
10. Towards Industrial-scale Product Configuration. Joachim Baumeister, Susana Hahn, Konstantin Herud, Max Ostrowski, Jochen Reutelshöfer, Nicolas Rühling, Torsten Schaub, Philipp Wanko.
11. Human Emotion Verification by Action Languages via Answer Set Programming. Andreas Brännström, Juan Carlos Nieves.
12. Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
  Maximiliano Cristiá, Gianfranco Rossi
13. Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
  Pedro Cabalar, Martín Diéguez, David Fernández-Duque, François Laferrière, Torsten Schaub, Igor Stéphan