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