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. Epistemic Logic Programs: a study of some properties. Stefania Costantini and Andrea Formisano.
  3. Knowledge-Based Support for Adhesive Selection: Will it Stick? Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, and Maarten Witters
  4. IASCAR: Incremental Answer Set Counting by Anytime Refinement. Johannes Fichte, Sarah Gaggl, Marcus Hecher, and Dominik Rusovac
  5. Clingraph: A System for ASP-based Visualization. Susana Hahn, Orkunt Sabuncu, Torsten Schaub, and Tobias Stolzmann
  6. Model Explanation via Support Graphs. Pedro Cabalar and Brais Muniz.
  7. Unit Testing in ASP Revisited: Language and Test-Driven Development Environment. Giovanni Amendola, Tobias Berei, Giuseppe Mazzotta, Francesco Ricca.
  8.  Convex and Reverse Convex Prequadratics in the Calculus of Relations with Cardinalities. BENJAMIN CALLEWAERT, JOOST VENNEKENS.
  9. Metric Temporal Equilibrium Logic over Timed Traces
    Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann.
  10. A novel framework for systematic propositional formula simplification based on existential graphs. Jordina Francès de Mas, Juliana Bowles
  11. Practical Reasoning in DatalogMTL. Dingmin Wang, Przemyslaw Walega,  Pan Hu, Pan, Bernardo Cuenca Grau