Accepted papers
The recently accepted papers in TPLP are the following:
- Learning Distributional Programs for Relational Autocompletion.
Nitesh Kumar, Ondřej Kuželka, Luc De Raedt
- Knowledge-Based Support for Adhesive Selection: Will it Stick? Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, and Maarten Witters
- Clingraph: A System for ASP-based Visualization. Susana Hahn, Orkunt Sabuncu, Torsten Schaub, and Tobias Stolzmann
- Model Explanation via Support Graphs. Pedro Cabalar and Brais Muniz.
- Unit Testing in ASP Revisited: Language and Test-Driven Development Environment. Giovanni Amendola, Tobias Berei, Giuseppe Mazzotta, Francesco Ricca.
- Convex and Reverse Convex Prequadratics in the Calculus of Relations with Cardinalities. BENJAMIN CALLEWAERT, JOOST VENNEKENS.
- A novel framework for systematic propositional formula simplification based on existential graphs. Jordina Francès de Mas, Juliana Bowles
- Practical Reasoning in DatalogMTL. Dingmin Wang, Przemyslaw Walega, Pan Hu, Pan, Bernardo Cuenca Grau
- Property-Based Testing by Elaborating Proof Outlines. Dale Miller, Alberto Momigliano.
- Optimal matching for sharing and linearity analysis. Gianluca Amato, Francesca Scozzari.
- Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
Maximiliano Cristià, Gianfranco Rossi
- On the Equivalence between Logic Programming and SETAF
João Alcântara, Renan Cordeiro, and Samy Sá
- A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs. Louis Rustenholz, Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, and Pedro Lopez-Garcia
- Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming. By Akihiro Takemura and Katsumi Inoue. (Link to an earlier version of the paper – to be updated asap)
- Probabilistic Answer Set Programming with Discrete and Continuous Random Variables. Damiano Azzolini and Fabrizio Riguzzi.
- plingo: A system for probabilistic reasoning in Answer Set Programming. Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub (Link to an earlier version of the paper – to be updated asap)