| 2021 | A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem. | Pierre Tassel, Mohamed Rbaia |
| 2021 | Analyzing Unit Read-Once Refutations in Difference Constraint Systems. | K. Subramani, Piotr Wojciechowski |
| 2021 | Model Reconciliation in Logic Programs. | Tran Cao Son, Van Nguyen, Stylianos Loukas Vasileiou, William Yeoh |
| 2021 | Computing Defeasible Meta-logic. | Francesco Olivieri, Guido Governatori, Matteo Cristani, Abdul Sattar |
| 2021 | Epistemic Reasoning About Rationality and Bids in Auctions. | Munyque Mittelmann, Andreas Herzig, Laurent Perrussel |
| 2021 | A Computationally Grounded Logic of Graded Belief. | Emiliano Lorini, Franois Schwarzentruber |
| 2021 | Transforming Gringo Rules into Formulas in a Natural Way. | Vladimir Lifschitz |
| 2021 | DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework. | Yuliya Lierler, Justin Robbins |
| 2021 | An Abstract View on Optimizations in SAT and ASP. | Yuliya Lierler |
| 2021 | Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics. | Nicholas Hippen, Yuliya Lierler |
| 2021 | Tractable Reasoning Using Logic Programs with Intensional Concepts. | Jesse Heyninck, Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2021 | Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals. | Miika Hannula, Jonni Virtema |
| 2021 | Conditional Descriptor Revision and Its Modelling by a CSP. | Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle |
| 2021 | Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. | Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner |
| 2021 | Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques. | Fabio Gadducci, Francesco Santini |
| 2021 | Solving a Multi-resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP. | Giulia Francescutto, Konstantin Schekotihin, Mohammed M. S. El-Kholany |
| 2021 | Graph-Classes of Argumentation Frameworks with Collective Attacks. | Wolfgang Dvork, Matthias Knig, Stefan Woltran |
| 2021 | Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report-. | Pilar Dellunde, Llus Godo, Amanda Vidal |
| 2021 | An Epistemic Probabilistic Logic with Conditional Probabilities. | Sejla Dautovic, Dragan Doder, Zoran Ognjanovic |
| 2021 | An Epistemic Logic for Multi-agent Systems with Budget and Costs. | Stefania Costantini, Andrea Formisano, Valentina Pitoni |
| 2021 | Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt. | Giovanni Ciatto, Roberta Calegari, Andrea Omicini |
| 2021 | Tractable Combinations of Theories via Sampling. | Manuel Bodirsky, Johannes Greiner |
| 2021 | Introducing a Tool for Concurrent Argumentation. | Stefano Bistarelli, Carlo Taticchi |
| 2021 | Exploiting Forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment. | Bartosz Bednarczyk |
| 2021 | An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics. | Franz Baader, Jakub Rydval |