| 2020 | Symbolic Solutions for Symbolic Constraint Satisfaction Problems. | Alexsander Andrade de Melo, Mateus de Oliveira Oliveira |
| 2020 | Argument, I Choose You! Preferences and Ranking Semantics in Abstract Argumentation. | Jean-Guy Mailly, Julien Rossit |
| 2020 | Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors. | Massimiliano de Leoni, Paolo Felli, Marco Montali |
| 2020 | An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework. | Tuomo Lehtonen, Johannes P. Wallner, Matti Jrvisalo |
| 2020 | A First-Order Logic of Limited Belief Based on Possible Worlds. | Gerhard Lakemeyer, Hector J. Levesque |
| 2020 | An ExpTime Upper Bound for ALC with Integers. | Nadia Labai, Magdalena Ortiz, Mantas Simkus |
| 2020 | Computing Cores for Existential Rules with the Standard Chase and ASP. | Markus Krtzsch |
| 2020 | Analyzing Differentiable Fuzzy Implications. | Emile van Krieken, Erman Acar, Frank van Harmelen |
| 2020 | Signature-Based Abduction for Expressive Description Logics. | Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt |
| 2020 | Boolean Role Inclusions in DL-Lite With and Without Time. | Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2020 | Changing Beliefs about Domain Dynamics in the Situation Calculus. | Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque |
| 2020 | Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. | Gabriele Kern-Isberner, Christoph Beierle, Gerhard Brewka |
| 2020 | Reasoning About Plan Robustness Versus Plan Cost for Partially Informed Agents. | Sarah Keren, Sara Bernardini, Kofi Kwapong, David C. Parkes |
| 2020 | WOLED: A tool for Online Learning Weighted Answer Set Rules for Temporal Reasoning Under Uncertainty. | Nikos Katzouris, Alexander Artikis |
| 2020 | SAT-Based ATL Satisfiability Checking. | Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek |
| 2020 | On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. | Jean Christoph Jung, Carsten Lutz, Thomas Zeume |
| 2020 | Logical Separability of Incomplete Data under Ontologies. | Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter |
| 2020 | Plausible Reasoning about EL-Ontologies using Concept Interpolation. | Yazmn Ibez-Garca, Vctor Gutirrez-Basulto, Steven Schockaert |
| 2020 | Reasoning with Inconsistent Knowledge using the Epistemic Approach to Probabilistic Argumentation. | Anthony Hunter |
| 2020 | Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All? | Markus Hecher |
| 2020 | Dynamic Awareness. | Joseph Y. Halpern, Evan Piermont |
| 2020 | Syntax Splitting for Iterated Contractions. | Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle |
| 2020 | Logics of Preference when There Is No Best. | Davide Grossi, Wiebe van der Hoek, Louwe B. Kuijer |
| 2020 | Multi-head Guarded Existential Rules Over Fixed Signatures. | Georg Gottlob, Marco Manna, Andreas Pieris |
| 2020 | Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. | Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus |