| 2021 | An Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible Sensors. | Jens Claen, James P. Delgrande |
| 2021 | On Eventual Applicability of Plans in Dynamic Environments with Cyclic Phenomena. | Luks Chrpa, Martin Pilt, Jakub Med |
| 2021 | Universal and Uniform Action Reversibility. | Luks Chrpa, Wolfgang Faber, Michael Morak |
| 2021 | A Many-valued Logic for Lexicographic Preference Representation. | Angelos Charalambidis, George Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis |
| 2021 | Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security. | Claudia Cauli, Magdalena Ortiz, Nir Piterman |
| 2021 | Parallelisable Existential Rules: a Story of Pieces. | Maxime Buron, Marie-Laure Mugnier, Michal Thomazo |
| 2021 | On the Identifiability of Hierarchical Decision Models. | Roman Bresson, Johanne Cohen, Eyke Hllermeier, Christophe Labreuche, Michle Sebag |
| 2021 | Lifted Inference with Tree Axioms. | Timothy van Bremen, Ondrej Kuzelka |
| 2021 | Capturing Homomorphism-Closed Decidable Queries with Existential Rules. | Camille Bourgaux, David Carral, Markus Krtzsch, Sebastian Rudolph, Michal Thomazo |
| 2021 | Making DL-Lite Planning Practical. | Stefan Borgwardt, Jrg Hoffmann, Alisa Kovtunova, Marcel Steinmetz |
| 2021 | Enforcing Sets of Formulas in Structured Argumentation. | AnneMarie Borg, Floris Bex |
| 2021 | On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper). | Lucas Bltz, Hannes Frey, Dennis Peuter, Viorica Sofronie-Stokkermans |
| 2021 | DEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementation. | Thomas Bolander, Lasse Dissing, Nicolai Herrmann |
| 2021 | Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases (Abstract). | Leopoldo E. Bertossi |
| 2021 | Choices and their Consequences - Explaining Acceptable Sets in Abstract Argumentation Frameworks. | Ringo Baumann, Markus Ulbricht |
| 2021 | Correcting Hierarchical Plans by Action Deletion. | Roman Bartk, Simona Ondrckov, Gregor Behnke, Pascal Bercher |
| 2021 | Admissibility in Probabilistic Argumentation. | Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Kfer |
| 2021 | On the Computational Intelligibility of Boolean Classifiers. | Gilles Audemard, Steve Bellart, Louenas Bounia, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2021 | On Free Description Logics with Definite Descriptions. | Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter |
| 2021 | Characterizations and Classifications of Argumentative Entailments. | Ofer Arieli, AnneMarie Borg, Christian Straer |
| 2021 | Synthesizing Best-effort Strategies under Multiple Environment Specifications. | Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2021 | Equivalence of Semantics in Argumentation. | Leila Amgoud, Vivien Beuselinck |
| 2021 | Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic K | Ruba Alassaf, Renate A. Schmidt, Uli Sattler |
| 2021 | Generalized Temporal Inference via Planning. | Diego Aineto, Sergio Jimnez, Eva Onaindia |
| 2021 | Reasoning about Explanations for Non-validation in SHACL. | Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus |