| 2021 | Separating Data Examples by Description Logic Concepts with Restricted Signatures. | Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter |
| 2021 | Safe Learning of Lifted Action Models. | Brendan Juba, Hai S. Le, Roni Stern |
| 2021 | Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. | Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk |
| 2021 | On Efficiently Explaining Graph-Based Classifiers. | Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Joo Marques-Silva |
| 2021 | Revision and Conditional Inference for Abstract Dialectical Frameworks. | Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm |
| 2021 | Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming. | Jesse Heyninck, Ofer Arieli |
| 2021 | An Abstract Fixed-Point Theorem for Horn Formula Equations (Abstract). | Stefan Hetzl, Johannes Kloibhofer |
| 2021 | On the Epistemic Logic of Incomplete Argumentation Frameworks. | Andreas Herzig, Antonio Yuste-Ginel |
| 2021 | A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition. | Andreas Herzig, Frdric Maris, Elise Perrotin |
| 2021 | Abduction in EL via Translation to FOL. | Fajar Haifani, Patrick Koopmann, Sophie Tourret |
| 2021 | How to Approximate Ontology-Mediated Queries. | Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter |
| 2021 | Timed Trace Alignment with Metric Temporal Logic over Finite Traces. | Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli |
| 2021 | The Nondeterministic Situation Calculus. | Giuseppe De Giacomo, Yves Lesprance |
| 2021 | Synthesis with Mandatory Stop Actions. | Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu |
| 2021 | Reasoning over Attack-incomplete AAFs in the Presence of Correlations. | Bettina Fazzinga, Sergio Flesca, Filippo Furfaro |
| 2021 | Borda, Cancellation and Belief Merging. | Patricia Everaere, Chouaib Fellah, Sbastien Konieczny, Ramn Pino Prez |
| 2021 | Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. | Thomas Eiter, Markus Hecher, Rafael Kiesel |
| 2021 | Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. | Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovsk, Daria Stepanova |
| 2021 | On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length. | Wolfgang Dvork, Matthias Knig, Stefan Woltran |
| 2021 | Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches. | Dominik Drexler, Jendrik Seipp, Hector Geffner |
| 2021 | Beyond Simple Images: Human Knowledge-Guided GANs for Clinical Data Generation. | Devendra Singh Dhami, Mayukh Das, Sriraam Natarajan |
| 2021 | Combining Logic and Natural Language Processing to Support Investment Management. | Marjolein Deryck, Nuno Comenda, Bart Coppens, Joost Vennekens |
| 2021 | Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo. | Fabio Aurelio D'Asaro, Paolo Baldi, Giuseppe Primiero |
| 2021 | Measuring Inconsistency over Sequences of Business Rule Cases. | Carl Corea, Matthias Thimm, Patrick Delfmann |
| 2021 | A Compilation of Succinctness Results for Arithmetic Circuits. | Alexis de Colnet, Stefan Mengel |