Accepted papers

The recently accepted papers in TPLP are the following:

  1. Online Learning Probabilistic Event Calculus Theories in Answer Set Programming
    Nikos Katzouris, Alexander Artikis and Georgios Paliouras
  2. Learning Distributional Programs for Relational Autocompletion.
    Nitesh Kumar, Ondřej Kuželka, Luc De Raedt
  3. Defeasible Reasoning via Datalog¬. Michael Maher

  4. Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
    Simon Vandevelde, Bram Aerts, Joost Vennekens

  5. Integrating Cardinality Constraints into Constraint Logic Programming with Sets
    Maximiliano Cristia and Gianfranco Rossi

  6. Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies Pasi, Gabriella; Peñaloza, Rafael

  7. Declarative Approaches to Counterfactual Explanations for Classification Leopoldo Bertossi

  8. Conflict-driven Inductive Logic Programming Mark Law

  9. Specifying and Reasoning about CPS through the Lens of the NIST Thanh Nguyen, Tran Son, Matthew Bundas, Marcello Balduccini, Kathleen Garwood, Edward Griffor.
  10. ValAsp: a tool for data validation in Answer Set Programming. Mario Alviano, Carmine Dodaro, Arnel Carmine
  11. On the Configuration of More and Less Expressive Logic Programs Carmine Dodaro, Marco Maratea, Mauro Vallati
  12. On the Foundations of Grounding in Answer Set Programming ROLAND KAMINSKI and TORSTEN SCHAUB 

FORTHCOMING SPECIAL ISSUE ON 20 YEARS OF TPLP (preliminary list)

  1. Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches  Yuliya Lierler

  2. 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

  3. Thirty years of Epistemic Specifications. Jorge Fandinno, Wolfgang Faber, and Michael Gelfond

  4. How to build your own ASP-based system ?! Roland Kaminski, Javier Romero, Torsten Schaub, and Philipp Wanko

  5. A Survey of the Proof-Theoretic Foundations of Logic Programming  Dale Miller

  6. Linear-Time Temporal Answer Set Programming Aguado, Felicidad; Cabalar, Pedro; Dieguez, Martin; Pérez, Gilberto; Schaub, Torsten; Schuhmann, Anna; Vidal, Concepción

  7. Forgetting in Answer Set Programming – A Survey Gonçalves, Ricardo; Knorr, Matthias; Leite, Joao

  8. Aggregate Semantics for Propositional Answer Set Programs. Mario Alviano, Wolfgang Faber, Martin Gebser

  9. Parallel Logic Programming: A Sequel Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
  10. Answer Set Planning: A Survey. TRAN CAO SON, ENRICO PONTELLI, MARCELLO BALDUCCINI, TORSTEN SCHAUB
  11. A Brief History of Updates of Answer-Set Programs. Joao Leite, Martin Slota.
  12. 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.