Journal: TPLP

Volume 20, Issue 5

587 -- 592Francesco Ricca, Alessandra Russo. Introduction to the 36th International Conference on Logic Programming Special Issue I
593 -- 608Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli. Modelling Multi-Agent Epistemic Planning in ASP
609 -- 624Antonius Weinzierl, Richard Taupe, Gerhard Friedrich. Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More
625 -- 640Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin. Managing caching strategies for stream reasoning with reinforcement learning
641 -- 655Elena Bellodi, Marco Alberti 0001, Fabrizio Riguzzi, Riccardo Zese. MAP Inference for Probabilistic Logic Programming
656 -- 670Farhad Shakerin, Gopal Gupta. White-box Induction From SVM Models: Explainable AI with Logic Programming
671 -- 686Fred Mesnard, Étienne Payet, Germán Vidal. Concolic Testing in CLP
687 -- 702George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis 0002. A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
703 -- 718Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna. On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach
719 -- 734Giovambattista Ianni, Francesco Pacenza, Jessica Zangari. Incremental maintenance of overgrounded logic programs with tailored simplifications
735 -- 750Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub. Verifying Tight Logic Programs with anthem and vampire
751 -- 766Laura Giordano 0001, Daniele Theseider Dupré. An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
767 -- 782Pedro Cabalar, Jorge Fandinno, Yuliya Lierler. Modular Answer Set Programming as a Formal Specification Language
783 -- 798Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann. Towards Metric Temporal Answer Set Programming
799 -- 814Richard Taupe, Antonius Weinzierl, Gerhard Friedrich. Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints