| 2017 | A Bird's-Eye View of Forgetting in Answer-Set Programming. João Leite |
| 2017 | A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics. Stefano Bistarelli, Francesco Santini |
| 2017 | A Monotonic View on Reflexive Autoepistemic Reasoning. Ezgi Iraz Su |
| 2017 | Action Language Hybrid AL. Alex Brik, Jeffrey B. Remmel |
| 2017 | Adjudication of Coreference Annotations via Answer Set Optimization. Peter Schüller |
| 2017 | Answer Set Programming and Its Applications in Planning and Multi-agent Systems. Tran Cao Son |
| 2017 | Answer Set Programming with Graded Modality. Zhizheng Zhang |
| 2017 | Answer Set Programs with Queries over Subprograms. Christoph Redl |
| 2017 | Answer Set Solving with Bounded Treewidth Revisited. Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran |
| 2017 | ArgueApply: A Mobile App for Argumentation. Jörg Pührer |
| 2017 | Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming. Marc Dahlem, Tripti Jain, Klaus Schneider, Michael Gillmann |
| 2017 | Blending Lazy-Grounding and CDNL Search for Answer-Set Solving. Antonius Weinzierl |
| 2017 | Contextual Reasoning: Usually Birds Can Abductively Fly. Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira |
| 2017 | Explaining Inconsistency in Answer Set Programs and Extensions. Christoph Redl |
| 2017 | Foundations for a Probabilistic Event Calculus. Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller |
| 2017 | From Logic Programming and Non-monotonic Reasoning to Computational Argumentation and Beyond. Francesca Toni |
| 2017 | Gelfond-Zhang Aggregates as Propositional Formulas. Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
| 2017 | Hybrid Metabolic Network Completion. Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko |
| 2017 | Including Quantification in Defeasible Reasoning for the Description Logic EL Maximilian Pensel, Anni-Yasmin Turhan |
| 2017 | Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings Marcello Balduccini, Tomi Janhunen |
| 2017 | Minimal Inference Problem Over Finite Domains: The Landscape of Complexity. Michal Wrona |
| 2017 | Modular Construction of Minimal Models. Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli |
| 2017 | NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. Carlos Lopes, Matthias Knorr, João Leite |
| 2017 | Nurse Scheduling via Answer Set Programming. Carmine Dodaro, Marco Maratea |
| 2017 | The ASP System DLV2. Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
| 2017 | The Design of the Seventh Answer Set Programming Competition. Martin Gebser, Marco Maratea, Francesco Ricca |
| 2017 | Vicious Circle Principle and Formation of Sets in ASP Based Languages. Michael Gelfond, Yuanlin Zhang |
| 2017 | \mathsf Harvey : A System for Random Testing in ASP. Alexander Greßler, Johannes Oetsch, Hans Tompits |
| 2017 | catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura |
| 2017 | lp2normal - A Normalization Tool for Extended Logic Programs. Jori Bomanson |
| 2017 | moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming. Orkunt Sabuncu, João Leite |
| 2017 | plasp 3: Towards Effective ASP Planning. Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub |