Issue 1, January 2023
Volume 23 Issue 1. Special Issue. The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II
- THOMAS EITER, MICHAEL MAHER, ENRICO PONTELLI, LUC DE RAEDT, MIROSLAW TRUSZCZYNSKI
Published online by Cambridge University, p. 1 - Linear-Time Temporal Answer Set Programming Aguado, Felicidad; Cabalar, Pedro; Dieguez, Martin; Pérez, Gilberto; Schaub, Torsten; Schuhmann, Anna; Vidal, Concepción, pp. 2-56
- A Brief History of Updates of Answer-Set Programs. Joao Leite, Martin Slota, pp. 57-110
- Forgetting in Answer Set Programming – A Survey Gonçalves, Ricardo; Knorr, Matthias; Leite, Joao, pp. 111-156
- Aggregate Semantics for Propositional Answer Set Programs. Mario Alviano, Wolfgang Faber, Martin Gebser, pp. 157-194
- Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches Yuliya Lierler, pp. 195-225
- Answer Set Planning: A Survey. TRAN CAO SON, ENRICO PONTELLI, MARCELLO BALDUCCINI, TORSTEN SCHAUB, pp. 226-298
- How to build your own ASP-based system ?! Roland Kaminski, Javier Romero, Torsten Schaub, and Philipp Wanko, pp. 299-361
Volume 23 Issue 2, March 2023
- Online Learning Probabilistic Event Calculus Theories in Answer Set Programming
Nikos Katzouris, Alexander Artikis and Georgios Paliouras, pp 362-386 [Rapid Communication] - Conflict-driven Inductive Logic Programming Mark Law, pp 387-414
- On the Configuration of More and Less Expressive Logic Programs Carmine Dodaro, Marco Maratea, Mauro Vallati, pp 415-443
- Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic
JORGE FANDINNO, LUIS FARIÑAS DEL CERRO, pp 444-467 - Integrating Cardinality Constraints into Constraint Logic Programming with Sets
Maximiliano Cristià and Gianfranco Rossi, pp 468-502
Volume 23 – Issue 3 – May 2023 Special Issue on Logic Rules and Reasoning: Selected Papers from the 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020)
- Introduction to the Special Issue. TOMÁŠ KLIEGR, VICTOR GUTIERREZ-BASULTO, AHMET SOYLU, 503-506
- Swift Markov Logic for Probabilistic Knowledge Graphs. Luigi Bellomarini, Eleonora Laurenza, Emanuel Sallinger, Evgeny Sherkhonov, 507-534.
- Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
Simon Vandevelde, Bram Aerts, Joost Vennekens, 535-558. - Declarative Approaches to Counterfactual Explanations for Classification Leopoldo Bertossi, 559-593
- Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies Pasi, Gabriella; Peñaloza, Rafael, 594-623