| 521 | -- | 526 | Alex Brik, Andrea Formisano 0001, Yanhong Annie Liu, Joost Vennekens. Introduction to the 37th International Conference on Logic Programming Special Issue I |
| 527 | -- | 542 | Mario Alviano, Sotiris Batsakis, George Baryannis. Modal Logic S5 Satisfiability in Answer Set Programming |
| 543 | -- | 556 | Damiano Azzolini, Fabrizio Riguzzi. Optimizing Probabilities in Probabilistic Logic Programs |
| 557 | -- | 574 | Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi. Nonground Abductive Logic Programming with Probabilistic Integrity Constraints |
| 575 | -- | 592 | Viktor Besin, Markus Hecher, Stefan Woltran. Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs |
| 593 | -- | 609 | Loris Bozzato, Thomas Eiter, Rafael Kiesel. Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures |
| 610 | -- | 628 | Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari. I-DLV-sr: A Stream Reasoning System based on I-DLV |
| 629 | -- | 645 | Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis. A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction |
| 646 | -- | 662 | Wolfgang Faber 0001, Michael Morak, Lukás Chrpa. Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming |
| 663 | -- | 679 | Jorge Fandinno, François Laferrière, Javier Romero 0003, Torsten Schaub, Tran Cao Son. Planning with Incomplete Information in Quantified Answer Set Programming |
| 680 | -- | 697 | Pascual Julián Iranzo, Fernando Sáenz-Pérez. Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog |