Accepted papers

The recently accepted papers in TPLP are the following:

  1. Learning Distributional Programs for Relational Autocompletion.
    Nitesh Kumar, Ondřej Kuželka, Luc De Raedt

  2. Defeasible Reasoning via Datalog¬. Michael Maher

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

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

  5. Declarative Approaches to Counterfactual Explanations for Classification Leopoldo Bertossi

  6. Specifying and Reasoning about CPS through the Lens of the NIST Thanh Nguyen, Tran Son, Matthew Bundas, Marcello Balduccini, Kathleen Garwood, Edward Griffor.
  7. ValAsp: a tool for data validation in Answer Set Programming. Mario Alviano, Carmine Dodaro, Arnel Carmine

  8. On the Foundations of Grounding in Answer Set Programming Roland Kaminski  and Torsten Schaub

  9. Positive Dependency Graphs Revisited Jorge Fandinno, Vladimir Lifschitz

  10. On Establishing Robust Consistency in Answer Set Programs. Andre THEVAPALAN, Gabriele KERN-ISBERNER

  11. An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems. FABIO AURELIO D’ASARO, LUCA RAGGIOLI, SALIM MALEK, MARCO GRAZIOSO, SILVIA ROSSI

  12. Swift Markov Logic for Probabilistic Knowledge Graphs. Luigi Bellomarini,  Eleonora Laurenza, Emanuel Sallinger,  Evgeny Sherkhonov.
  13. Unifying Framework for Optimizations in Non-boolean Formalisms. Yuliya Lierler.
  14. Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. Eiter, Thomas; Geibinger, Tobias; Musliu, Nysret; Oetsch, Johannes; Skocovsky, Peter; Stepanova, Daria.

  15. Distributed Subweb Specifications for Traversing the Web.  Bogaerts, Bart; Kestman, Bas; Zeboudj, Younes; Aamer, Heba; Taelman, Ruben; Verborgh, Ruben 

  16. Disjunctive Delimited Control. ALEXANDER VANDENBROUCKE and TOM SCHRIJVERS.

  17. Solving Rehabilitation Scheduling problems via a Two-Phase ASP approach. MATTEO CARDELLINI, PAOLO DE NARDI, CARMINE DODARO, GIUSEPPE GALATA`, ANNA GIARDINI, MARCO MARATEA, IVAN PORRO