| 421 | -- | 426 | Agostino Dovier, Vítor Santos Costa. Introduction to the 28th international conference on logic programming special issue |
| 427 | -- | 443 | Miguel Areias, Ricardo Rocha. Towards multi-threaded local tabling using a common table space |
| 445 | -- | 464 | Bernhard Bliem, Michael Morak, Stefan Woltran. D-FLAT: Declarative problem solving using tree decompositions and answer-set programming |
| 465 | -- | 483 | Amit Metodi, Michael Codish. Compiling finite domain constraints to SAT with BEE |
| 485 | -- | 503 | Max Ostrowski, Torsten Schaub. ASP modulo CSP: The clingcon system |
| 505 | -- | 523 | Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan. Inference in probabilistic logic programs with continuous random variables |
| 525 | -- | 545 | Martin Gebser, Benjamin Kaufmann, Torsten Schaub. Multi-threaded ASP solving with clasp |
| 547 | -- | 563 | Neng-Fa Zhou, Christian Theil Have. Efficient tabling of structured data with enhanced hash-consing |
| 565 | -- | 582 | Vladimir Lifschitz, Karl Pichotta, Fangkai Yang. Relational theories with null values and non-herbrand stable models |
| 583 | -- | 600 | Germán Vidal. Annotation of logic programs for independent AND-parallelism by partial evaluation |
| 601 | -- | 618 | Gregory J. Duck. SMCHR: Satisfiability modulo constraint handling rules |
| 619 | -- | 637 | Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits. Annotating answer-set programs in Lana |
| 639 | -- | 657 | Iliano Cervesato. An Improved Proof-Theoretic Compilation of Logic Programs |
| 659 | -- | 679 | Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl. Conflict-driven ASP solving with external sources |
| 681 | -- | 700 | Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka. Model checking with probabilistic tabled logic programming |
| 701 | -- | 718 | Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna. Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues |
| 719 | -- | 735 | Joseph Babb, Joohyung Lee. Module theorem for the general theory of stable models |
| 737 | -- | 753 | Rémy Haemmerlé. Diagrammatic confluence for Constraint Handling Rules |
| 755 | -- | 773 | José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo. Lightweight compilation of (C)LP to JavaScript |
| 775 | -- | 791 | Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Aaron Gottesman. Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them |
| 793 | -- | 810 | Michael J. Maher. Relative expressiveness of defeasible logics |