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. Distributed Subweb Specifications for Traversing the Web.  Bogaerts, Bart; Kestman, Bas; Zeboudj, Younes; Aamer, Heba; Taelman, Ruben; Verborgh, Ruben 

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

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

  5. System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics.  Daniel Bresnahan, Nicholas Hippen, and Yuliya Lierler. 

  6. The Stable Model Semantics of Datalog with Metric Temporal Operators
    Wałęga, Przemysław; Tena Cucala, David; Cuenca Grau, Bernardo; Kostylev, Egor V.
  7.  Dyadic Existential Rules Authors: Gottlob, Georg, Manna, Marco, Marte, Cinzia

  8. Querying Data Exchange Settings Beyond Positive Queries Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina 

  9. Compositional verification in rewriting logic ÓSCAR MARTÍN, ALBERTO VERDEJO, NARCISO MARTÍ-OLIET 

  10. Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings. Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
  11. Epistemic Logic Programs: a study of some properties. Stefania Costantini and Andrea Formisano.
  12. Knowledge-Based Support for Adhesive Selection: Will it Stick? Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, and Maarten Witters
  13. IASCAR: Incremental Answer Set Counting by Anytime Refinement. Johannes Fichte, Sarah Gaggl, Marcus Hecher, and Dominik Rusovac
  14. Clingraph: A System for ASP-based Visualization. Susana Hahn, Orkunt Sabuncu, Torsten Schaub, and Tobias Stolzmann
  15. Model Explanation via Support Graphs. Pedro Cabalar and Brais Muniz.