| 2021 | Belief Contraction in Non-classical logics as Hyperintensional Belief Change. | Marlo Souza, Renata Wassermann |
| 2021 | Gaussian Elimination Meets Maximum Satisfiability. | Mate Soos, Kuldeep S. Meel |
| 2021 | Decidability and Complexity of Some Finitely-valued Dynamic Logics. | Igor Sedlr |
| 2021 | Flexible Robotic Assembly Based on Ontological Representation of Tasks, Skills, and Resources. | Philipp Matthias Schfer, Franz Steinmetz, Stefan Schneyer, Timo Bachmann, Thomas Eiband, Florian Samuel Lay, Abhishek Padalkar, Christoph Srig, Freek Stulp, Korbinian Nottensteiner |
| 2021 | Boolean Network Learning in Vector Spaces for Genome-wide Network Analysis. | Taisuke Sato, Ryosuke Kojima |
| 2021 | Existential Abstraction on Argumentation Frameworks via Clustering. | Zeynep G. Saribatur, Johannes P. Wallner |
| 2021 | Learning First-Order Representations for Planning from Black Box States: New Results. | Ivan D. Rodriguez, Blai Bonet, Javier Romero, Hector Geffner |
| 2021 | Randomized Problem-Relaxation Solving for Over-Constrained Schedules. | Patrick Rodler, Erich Teppan, Dietmar Jannach |
| 2021 | Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability. | Jandson S. Ribeiro, Matthias Thimm |
| 2021 | Representing and Reasoning with Event Models for Epistemic Planning. | David Rajaratnam, Michael Thielscher |
| 2021 | The Yoneda Reduction of Polymorphic Types (Abstract). | Paolo Pistone, Luca Tranchini |
| 2021 | Symbol Elimination and Applications to Parametric Entailment Problems (Abstract). | Dennis Peuter, Viorica Sofronie-Stokkermans |
| 2021 | Monotonicity and Noise-Tolerance in Case-Based Reasoning with Abstract Argumentation. | Guilherme Paulino-Passos, Francesca Toni |
| 2021 | Properties of Module Notions and Atomic Decomposition. | Robin Nolte, Thomas Schneider |
| 2021 | Sticky Existential Rules and Disjunction are Incompatible. | Michael Morak |
| 2021 | Strategic Reasoning in Automated Mechanism Design. | Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel |
| 2021 | SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper). | Philipp Marohn, Viorica Sofronie-Stokkermans |
| 2021 | Approximate Inference for Neural Probabilistic Logic Programming. | Robin Manhaeve, Giuseppe Marra, Luc De Raedt |
| 2021 | On the Progression of Belief. | Daxin Liu, Qihui Feng |
| 2021 | Unsupervised Novelty Characterization in Physical Environments Using Qualitative Spatial Relations. | Ruiqi Li, Hua Hua, Patrik Haslum, Jochen Renz |
| 2021 | Diagnosis of Active Systems with Abstract Observations and Compiled Knowledge. | Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
| 2021 | Distinguishability in Abstract Argumentation. | Isabelle Kuhlmann, Tjitze Rienstra, Lars Bengel, Kenneth Skiba, Matthias Thimm |
| 2021 | Signature-Based ABox Abduction in ALC is Hard. | Patrick Koopmann |
| 2021 | Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases. | Spencer Killen, Jia-Huai You |
| 2021 | Satisfiability Checking of Strategy Logic with Simple Goals. | Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek |