- Rachel Ben-Eliyahu-Zohary. Splitting a Disjunctive Logic Program. TPLP, 25(4):507-521, 2025.
- Alexander Beiser, Stefan Woltran, Markus Hecher. Automated Hybrid Grounding Using Structural and Data-Driven Heuristics. TPLP, 25(4):489-506, 2025.
- Parth Padalkar, Gopal Gupta 0001. Symbolic Rule Extraction From Attention-Guided Sparse Representations in Vision Transformers. TPLP, 25(4):722-738, 2025.
- Enrico Santi, Agostino Dovier, Andrea Formisano 0001, Fabio Tardivo. GPU Accelerated Compact-Table Propagation. TPLP, 25(4):756-774, 2025.
- Alice Tarzariol, Marco Maratea, Mauro Vallati. A CASP-Based Solution for Traffic Signal Optimisation. TPLP, 25(4):794-812, 2025.
- Guido Governatori, Anni-Yasmin Turhan. Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers From the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022). TPLP, 25(2):132-133, 2025.
- Felicidad Aguado, Pedro Cabalar, Brais Muñiz, Gilberto Pérez 0001, Concepción Vidal. Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming. TPLP, 25(4):402-416, 2025.
- Alessandro Bertagnon, Marcello Dalpasso, Michele Favalli, Marco Gavanelli. Fine-Grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming. TPLP, 25(4):522-539, 2025.
- Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. Catamorphic Abstractions for Constrained Horn Clause Satisfiability. TPLP, 25(1):64-91, 2025.
- Luigi Bellomarini, Livia Blasi, Markus Nissl, Emanuel Sallinger. The Temporal Vadalog System: Temporal Datalog-Based Reasoning. TPLP, 25(2):168-196, 2025.