| 401 | -- | 414 | Michael Leuschel, Tom Schrijvers. Introduction to the 30th International Conference on Logic Programming Special Issue |
| 415 | -- | 427 | Kyle Marple, Gopal Gupta. Dynamic Consistency Checking in Goal-Directed Answer Set Programming |
| 429 | -- | 443 | Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura. Tabling, Rational Terms, and Coinduction Finally Together! |
| 445 | -- | 459 | Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber. Efficient Computation of the Well-Founded Semantics over Big Data |
| 461 | -- | 475 | Aya Saad, Thom W. Frühwirth, Carmen Gervet. The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information |
| 477 | -- | 492 | Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes de Cat, Joost Vennekens, Marc Denecker. Simulating Dynamic Systems Using Linear Time Calculus Theories |
| 493 | -- | 507 | Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning. A Linear Logic Programming Language for Concurrent Programming over Graph Structures |
| 509 | -- | 524 | Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY: a Lazy Portfolio Approach for Constraint Solving |
| 525 | -- | 538 | Daniel Gall, Thom W. Frühwirth. Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R |
| 539 | -- | 552 | Torbjörn Lager, Jan Wielemaker. Pengines: Web Logic Programming Made Easy |
| 553 | -- | 567 | Terrance Swift. Incremental Tabling in Support of Knowledge Representation and Reasoning |
| 569 | -- | 585 | Holger Hoos, Marius Thomas Lindauer, Torsten Schaub. claspfolio 2: Advances in Algorithm Selection for Answer Set Programming |
| 587 | -- | 601 | Michael Gelfond, Yuanlin Zhang. Vicious Circle Principle and Logic Programs with Aggregates |
| 603 | -- | 618 | Pedro Cabalar, Jorge Fandinno, Michael Fink. Causal Graph Justifications of Logic Programs |
| 619 | -- | 632 | Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann. On Termination, Confluence and Consistent CHR-based Type Inference |
| 633 | -- | 648 | Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler. Contextual Abductive Reasoning with Side-Effects |
| 649 | -- | 663 | Elaine Pimentel, Carlos Olarte, Vivek Nigam. A Proof Theoretic Study of Soft Concurrent Constraint Programming |
| 665 | -- | 679 | Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano. A Measure of Arbitrariness in Abductive Explanations |
| 681 | -- | 695 | Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese. Lifted Variable Elimination for Probabilistic Logic Programming |
| 697 | -- | 710 | Roman Barták, Neng-Fa Zhou. Using Tabled Logic Programming to Solve the Petrobras Planning Problem |
| 711 | -- | 723 | Christian Antic. On Cascade Products of Answer Set Programs |
| 725 | -- | 737 | Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis. Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation |
| 739 | -- | 754 | Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo. Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types |
| 755 | -- | 770 | Mario Alviano, Carmine Dodaro, Francesco Ricca. Anytime Computation of Cautious Consequences in Answer Set Programming |
| 771 | -- | 785 | Ethan K. Jackson. A Module System for Domain-Specific Languages |
| 787 | -- | 801 | Marco Comini, Laura Titolo, Alicia Villanueva. Abstract Diagnosis for tccp using a Linear Temporal Logic |