The recently accepted papers in TPLP are the following:
- Online Learning Probabilistic Event Calculus Theories in Answer Set Programming
Nikos Katzouris, Alexander Artikis and Georgios Paliouras - Learning Distributional Programs for Relational Autocompletion.
Nitesh Kumar, Ondřej Kuželka, Luc De Raedt -
Defeasible Reasoning via Datalog¬. Michael Maher
-
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
Simon Vandevelde, Bram Aerts, Joost Vennekens -
Integrating Cardinality Constraints into Constraint Logic Programming with Sets
Maximiliano Cristia and Gianfranco Rossi -
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies Pasi, Gabriella; Peñaloza, Rafael
-
Declarative Approaches to Counterfactual Explanations for Classification Leopoldo Bertossi
- Specifying and Reasoning about CPS through the Lens of the NIST Thanh Nguyen, Tran Son, Matthew Bundas, Marcello Balduccini, Kathleen Garwood, Edward Griffor.
- ValAsp: a tool for data validation in Answer Set Programming. Mario Alviano, Carmine Dodaro, Arnel Carmine
- On the Configuration of More and Less Expressive Logic Programs Carmine Dodaro, Marco Maratea, Mauro Vallati
-
On the Foundations of Grounding in Answer Set Programming ROLAND KAMINSKI and TORSTEN SCHAUB
FORTHCOMING SPECIAL ISSUE ON 20 YEARS OF TPLP (preliminary list)
-
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches Yuliya Lierler
-
Analysis and Transformation of Constrained Horn Clauses for Program Verification Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel Hermenegildo, Alberto Pettorossi, and Maurizio Proietti
-
Thirty years of Epistemic Specifications. Jorge Fandinno, Wolfgang Faber, and Michael Gelfond
-
How to build your own ASP-based system ?! Roland Kaminski, Javier Romero, Torsten Schaub, and Philipp Wanko
-
A Survey of the Proof-Theoretic Foundations of Logic Programming Dale Miller
-
Linear-Time Temporal Answer Set Programming Aguado, Felicidad; Cabalar, Pedro; Dieguez, Martin; Pérez, Gilberto; Schaub, Torsten; Schuhmann, Anna; Vidal, Concepción
-
Forgetting in Answer Set Programming – A Survey Gonçalves, Ricardo; Knorr, Matthias; Leite, Joao
-
Aggregate Semantics for Propositional Answer Set Programs. Mario Alviano, Wolfgang Faber, Martin Gebser
- Parallel Logic Programming: A Sequel Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
- Answer Set Planning: A Survey. TRAN CAO SON, ENRICO PONTELLI, MARCELLO BALDUCCINI, TORSTEN SCHAUB
- A Brief History of Updates of Answer-Set Programs. Joao Leite, Martin Slota.
- Fifty Years of Prolog and Beyond Philipp Körner, Michael Leuschel, João Barbosa, Vítor Costa, Verónica Dahl, Manuel Hermenegildo, Jose Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto.