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. Knowledge-Based Support for Adhesive Selection: Will it Stick? Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, and Maarten Witters
  3. Clingraph: A System for ASP-based Visualization. Susana Hahn, Orkunt Sabuncu, Torsten Schaub, and Tobias Stolzmann
  4. Unit Testing in ASP Revisited: Language and Test-Driven Development Environment. Giovanni Amendola, Tobias Berei, Giuseppe Mazzotta, Francesco Ricca.
  5.  Convex and Reverse Convex Prequadratics in the Calculus of Relations with Cardinalities. BENJAMIN CALLEWAERT, JOOST VENNEKENS.
  6. A novel framework for systematic propositional formula simplification based on existential graphs. Jordina Francès de Mas, Juliana Bowles
  7. Practical Reasoning in DatalogMTL. Dingmin Wang, Przemyslaw Walega,  Pan Hu, Pan, Bernardo Cuenca Grau
  8. plingo: A system for probabilistic reasoning in Answer Set Programming. Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub 
  9. On the generalization of learned constraints for ASP solving in temporal domains JAVIER ROMERO, TORSTEN SCHAUB, KLAUS STRAUCH.
  10. The Temporal Vadalog System: Temporal Datalog-based Reasoning LUIGI BELLOMARINI, LIVIA BLASI, MARKUS NISSL, EMANUEL SALLINGER
  11. Provenance Guided Rollback Suggestions.
    Zhao, David, Subotić, Pavle, Raghothaman, Mukund, Scholz, Bernhard
  12. FreeCHR: An Algebraic Framework for CHR-Embeddings
    Sascha Rechenberger, Thom Frühwirth
  13. Existential Notation3 Logic
    Dörthe Arndt, Stephan Mennicke