| 2021 | A Compilation of Succinctness Results for Arithmetic Circuits. Alexis de Colnet, Stefan Mengel |
| 2021 | A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition. Andreas Herzig, Frédéric Maris, Elise Perrotin |
| 2021 | A Many-valued Logic for Lexicographic Preference Representation. Angelos Charalambidis, George Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis |
| 2021 | A Principle-based Analysis of Abstract Agent Argumentation Semantics. Liuwen Yu, Dongheng Chen, Lisha Qiao, Yiqi Shen, Leendert van der Torre |
| 2021 | Admissibility in Probabilistic Argumentation. Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer |
| 2021 | An Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible Sensors. Jens Claßen, James P. Delgrande |
| 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 | Approximate Inference for Neural Probabilistic Logic Programming. Robin Manhaeve, Giuseppe Marra, Luc De Raedt |
| 2021 | Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming. Jesse Heyninck, Ofer Arieli |
| 2021 | Belief Contraction in Non-classical logics as Hyperintensional Belief Change. Marlo Souza, Renata Wassermann |
| 2021 | Beyond Simple Images: Human Knowledge-Guided GANs for Clinical Data Generation. Devendra Singh Dhami, Mayukh Das, Sriraam Natarajan |
| 2021 | Boolean Network Learning in Vector Spaces for Genome-wide Network Analysis. Taisuke Sato, Ryosuke Kojima |
| 2021 | Borda, Cancellation and Belief Merging. Patricia Everaere, Chouaib Fellah, Sébastien Konieczny, Ramón Pino Pérez |
| 2021 | Capturing Homomorphism-Closed Decidable Queries with Existential Rules. Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo |
| 2021 | Characterizations and Classifications of Argumentative Entailments. Ofer Arieli, Annemarie Borg, Christian Straßer |
| 2021 | Choices and their Consequences - Explaining Acceptable Sets in Abstract Argumentation Frameworks. Ringo Baumann, Markus Ulbricht |
| 2021 | Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security. Claudia Cauli, Magdalena Ortiz, Nir Piterman |
| 2021 | Combining Logic and Natural Language Processing to Support Investment Management. Marjolein Deryck, Nuno Comenda, Bart Coppens, Joost Vennekens |
| 2021 | Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability. Jandson S. Ribeiro, Matthias Thimm |
| 2021 | Correcting Hierarchical Plans by Action Deletion. Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher |
| 2021 | DEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementation. Thomas Bolander, Lasse Dissing, Nicolai Herrmann |
| 2021 | DatalogMTL with Negation Under Stable Models Semantics. Przemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, Bernardo Cuenca Grau |
| 2021 | Decidability and Complexity of Some Finitely-valued Dynamic Logics. Igor Sedlár |
| 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 | Enforcing Sets of Formulas in Structured Argumentation. Annemarie Borg, Floris Bex |
| 2021 | Equivalence of Semantics in Argumentation. Leila Amgoud, Vivien Beuselinck |
| 2021 | Existential Abstraction on Argumentation Frameworks via Clustering. Zeynep G. Saribatur, Johannes P. Wallner |
| 2021 | Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches. Dominik Drexler, Jendrik Seipp, Hector Geffner |
| 2021 | Finitely Materialisable Datalog Programs with Metric Temporal Operators. Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau |
| 2021 | Flexible Robotic Assembly Based on Ontological Representation of Tasks, Skills, and Resources. Philipp Matthias Schäfer, Franz Steinmetz, Stefan Schneyer, Timo Bachmann, Thomas Eiband, Florian Samuel Lay, Abhishek Padalkar, Christoph Sürig, Freek Stulp, Korbinian Nottensteiner |
| 2021 | Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic. Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga |
| 2021 | Gaussian Elimination Meets Maximum Satisfiability. Mate Soos, Kuldeep S. Meel |
| 2021 | Generalized Temporal Inference via Planning. Diego Aineto, Sergio Jiménez, Eva Onaindia |
| 2021 | How to Approximate Ontology-Mediated Queries. Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter |
| 2021 | Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo. Fabio Aurelio D'Asaro, Paolo Baldi, Giuseppe Primiero |
| 2021 | Learning First-Order Representations for Planning from Black Box States: New Results. Ivan D. Rodriguez, Blai Bonet, Javier Romero, Hector Geffner |
| 2021 | Lifted Inference with Tree Axioms. Timothy van Bremen, Ondrej Kuzelka |
| 2021 | Making DL-Lite Planning Practical. Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz |
| 2021 | Measuring Inconsistency over Sequences of Business Rule Cases. Carl Corea, Matthias Thimm, Patrick Delfmann |
| 2021 | Monotonicity and Noise-Tolerance in Case-Based Reasoning with Abstract Argumentation. Guilherme Paulino-Passos, Francesca Toni |
| 2021 | On Efficiently Explaining Graph-Based Classifiers. Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, João Marques-Silva |
| 2021 | On Eventual Applicability of Plans in Dynamic Environments with Cyclic Phenomena. Lukás Chrpa, Martin Pilát, Jakub Med |
| 2021 | On Free Description Logics with Definite Descriptions. Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter |
| 2021 | On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length. Wolfgang Dvorák, Matthias König, Stefan Woltran |
| 2021 | On the Computational Intelligibility of Boolean Classifiers. Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2021 | On the Epistemic Logic of Incomplete Argumentation Frameworks. Andreas Herzig, Antonio Yuste-Ginel |
| 2021 | On the Identifiability of Hierarchical Decision Models. Roman Bresson, Johanne Cohen, Eyke Hüllermeier, Christophe Labreuche, Michèle Sebag |
| 2021 | On the Maximal Number of Complete Extensions in Abstract Argumentation Frameworks. Markus Ulbricht |
| 2021 | On the Progression of Belief. Daxin Liu, Qihui Feng |
| 2021 | PATCHCOMM: Using Commonsense Knowledge to Guide Syntactic Parsers. Yida Xin, Henry Lieberman, Peter Chin |
| 2021 | Parallelisable Existential Rules: a Story of Pieces. Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo |
| 2021 | Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021. Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem |
| 2021 | Properties of Module Notions and Atomic Decomposition. Robin Nolte, Thomas Schneider |
| 2021 | Randomized Problem-Relaxation Solving for Over-Constrained Schedules. Patrick Rodler, Erich Teppan, Dietmar Jannach |
| 2021 | Rational Verification for Probabilistic Systems. Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge |
| 2021 | Reasoning about Explanations for Non-validation in SHACL. Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus |
| 2021 | Reasoning over Attack-incomplete AAFs in the Presence of Correlations. Bettina Fazzinga, Sergio Flesca, Filippo Furfaro |
| 2021 | Representing and Reasoning with Event Models for Epistemic Planning. David Rajaratnam, Michael Thielscher |
| 2021 | Revision and Conditional Inference for Abstract Dialectical Frameworks. Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm |
| 2021 | Safe Learning of Lifted Action Models. Brendan Juba, Hai S. Le, Roni Stern |
| 2021 | Satisfiability Checking of Strategy Logic with Simple Goals. Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek |
| 2021 | Semi-Stable Semantics for Abstract Dialectical Frameworks. Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij |
| 2021 | Separating Data Examples by Description Logic Concepts with Restricted Signatures. Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter |
| 2021 | Somebody Knows. Thomas Ågotnes, Yì N. Wáng |
| 2021 | Sticky Existential Rules and Disjunction are Incompatible. Michael Morak |
| 2021 | Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk |
| 2021 | Strategic Reasoning in Automated Mechanism Design. Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel |
| 2021 | Synthesis with Mandatory Stop Actions. Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu |
| 2021 | Synthesizing Best-effort Strategies under Multiple Environment Specifications. Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2021 | The Nondeterministic Situation Calculus. Giuseppe De Giacomo, Yves Lespérance |
| 2021 | Timed Trace Alignment with Metric Temporal Logic over Finite Traces. Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli |
| 2021 | Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. Thomas Eiter, Markus Hecher, Rafael Kiesel |
| 2021 | Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases. Spencer Killen, Jia-Huai You |
| 2021 | Universal and Uniform Action Reversibility. Lukás Chrpa, Wolfgang Faber, Michael Morak |
| 2021 | Unsupervised Novelty Characterization in Physical Environments Using Qualitative Spatial Relations. Ruiqi Li, Hua Hua, Patrik Haslum, Jochen Renz |