| 2019 | Train Scheduling with Hybrid ASP. | Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko |
| 2017 | Answer Set Programming with Graded Modality. | Zhizheng Zhang |
| 2017 | CASP for Robot Control in Hybrid Domains. | Ryan Young, Marcello Balduccini, Ankush Israney |
| 2017 | Minimal Inference Problem Over Finite Domains: The Landscape of Complexity. | Michal Wrona |
| 2017 | Blending Lazy-Grounding and CDNL Search for Answer-Set Solving. | Antonius Weinzierl |
| 2017 | A Parallel LP | Bin Wang, Zhizheng Zhang |
| 2017 | From Logic Programming and Non-monotonic Reasoning to Computational Argumentation and Beyond. | Francesca Toni |
| 2017 | A Monotonic View on Reflexive Autoepistemic Reasoning. | Ezgi Iraz Su |
| 2017 | Reasoning Strategies for Diagnostic Probability Estimates in Causal Contexts: Preference for Defeasible Deduction over Abduction. | Jean-Louis Stilgenbauer, Jean Baratgin, Igor Douven |
| 2017 | Answer Set Programming and Its Applications in Planning and Multi-agent Systems. | Tran Cao Son |
| 2017 | Adjudication of Coreference Annotations via Answer Set Optimization. | Peter Schller |
| 2017 | Contextual Abduction and its Complexity Issues. | Emmanuelle-Anna Dietz Saldanha, Steffen Hlldobler, Tobias Philipp |
| 2017 | Contextual Reasoning: Usually Birds Can Abductively Fly. | Emmanuelle-Anna Dietz Saldanha, Steffen Hlldobler, Lus Moniz Pereira |
| 2017 | moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming. | Orkunt Sabuncu, Joo Leite |
| 2017 | Explaining Inconsistency in Answer Set Programs and Extensions. | Christoph Redl |
| 2017 | Answer Set Programs with Queries over Subprograms. | Christoph Redl |
| 2017 | ArgueApply: A Mobile App for Argumentation. | Jrg Phrer |
| 2017 | Making Quantification Relevant Again - the Case of Defeasible EL_\bot. | Maximilian Pensel, Anni-Yasmin Turhan |
| 2017 | Including Quantification in Defeasible Reasoning for the Description Logic EL | Maximilian Pensel, Anni-Yasmin Turhan |
| 2017 | Populational Announcement Logic (PPAL). | Vitor Machado, Mario R. F. Benevides |
| 2017 | NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. | Carlos Lopes, Matthias Knorr, Joo Leite |
| 2017 | A Bird's-Eye View of Forgetting in Answer-Set Programming. | Joo Leite |
| 2017 | clingo goes Linear Constraints over Reals and Integers. | Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko |
| 2017 | \mathsf Harvey : A System for Random Testing in ASP. | Alexander Greler, Johannes Oetsch, Hans Tompits |
| 2017 | Vicious Circle Principle and Formation of Sets in ASP Based Languages. | Michael Gelfond, Yuanlin Zhang |