| 2017 | On Improving Run-time Checking in Dynamic Languages. | Nataliia Stulova |
| 2017 | Learning Effect Axioms via Probabilistic Logic Programming. | Rolf Schwitter |
| 2017 | Understanding Restaurant Stories Using an ASP Theory of Intentions. | Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney |
| 2017 | A Simple Complete Search for Logic Programming. | Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might |
| 2017 | Semantic Versioning Checking in a Declarative Package Manager. | Michael Hanus |
| 2017 | Achieving High Quality Knowledge Acquisition using Controlled Natural Language. | Tiantian Gao |
| 2017 | Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description). | Michael Codish, Michael Frank, Amit Metodi, Morad Muslimany |
| 2017 | Rule Based Temporal Inference. | Melisachew Wudage Chekol, Heiner Stuckenschmidt |
| 2017 | Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs. | Bernhard Bliem |
| 2017 | Reasoning on anonymity in Datalog+/-. | Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri |
| 2017 | The Pyglaf Argumentation Reasoner. | Mario Alviano |
| 2017 | Entity set expansion from the Web via ASP. | Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, Marek Adrian |
| 2016 | Front Matter, Table of Contents, Preface, List of Authors. | |
| 2016 | Scalable Design Space Exploration via Answer Set Programming. | Philipp Wanko |
| 2016 | The Functional Perspective on Advanced Logic Programming. | Alexander Vandenbroucke |
| 2016 | SMT-Based Constraint Answer Set Solver EZSMT (System Description). | Benjamin Susman, Yuliya Lierler |
| 2016 | An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. | Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini |
| 2016 | Inference in Probabilistic Logic Programs Using Lifted Explanations. | Arun Nampally, C. R. Ramakrishnan |
| 2016 | Intelligent Instantiation and Supersafe Rules. | Vladimir Lifschitz |
| 2016 | Testing of Concurrent Programs. | Miguel Isabel |
| 2016 | On the Expressiveness of Spatial Constraint Systems. | Michell Guzmn, Frank D. Valencia |
| 2016 | Theory Solving Made Easy with Clingo 5. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko |
| 2016 | Answer Set Solving with Generalized Learned Constraints. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lhne, Javier Romero, Torsten Schaub |
| 2016 | Controlled Natural Languages for Knowledge Representation and Reasoning. | Tiantian Gao |
| 2016 | Constraint Propagation and Explanation over Novel Types by Abstract Compilation. | Graeme Gange, Peter J. Stuckey |