| 2021 | A Computationally Grounded Logic of Graded Belief. Emiliano Lorini, François Schwarzentruber |
| 2021 | A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem. Pierre Tassel, Mohamed Rbaia |
| 2021 | An Abstract View on Optimizations in SAT and ASP. Yuliya Lierler |
| 2021 | An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics. Franz Baader, Jakub Rydval |
| 2021 | An Epistemic Logic for Multi-agent Systems with Budget and Costs. Stefania Costantini, Andrea Formisano, Valentina Pitoni |
| 2021 | An Epistemic Probabilistic Logic with Conditional Probabilities. Sejla Dautovic, Dragan Doder, Zoran Ognjanovic |
| 2021 | Analyzing Unit Read-Once Refutations in Difference Constraint Systems. K. Subramani, Piotr Wojciechowski |
| 2021 | Computing Defeasible Meta-logic. Francesco Olivieri, Guido Governatori, Matteo Cristani, Abdul Sattar |
| 2021 | Conditional Descriptor Revision and Its Modelling by a CSP. Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle |
| 2021 | DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework. Yuliya Lierler, Justin Robbins |
| 2021 | Epistemic Reasoning About Rationality and Bids in Auctions. Munyque Mittelmann, Andreas Herzig, Laurent Perrussel |
| 2021 | Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics. Nicholas Hippen, Yuliya Lierler |
| 2021 | Exploiting Forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment. Bartosz Bednarczyk |
| 2021 | Graph-Classes of Argumentation Frameworks with Collective Attacks. Wolfgang Dvorák, Matthias König, Stefan Woltran |
| 2021 | Introducing a Tool for Concurrent Argumentation. Stefano Bistarelli, Carlo Taticchi |
| 2021 | Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt. Giovanni Ciatto, Roberta Calegari, Andrea Omicini |
| 2021 | Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak |
| 2021 | Model Reconciliation in Logic Programs. Tran Cao Son, Van Nguyen, Stylianos Loukas Vasileiou, William Yeoh |
| 2021 | On Syntactic Forgetting Under Uniform Equivalence. Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite |
| 2021 | Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report-. Pilar Dellunde, Lluís Godo, Amanda Vidal |
| 2021 | ReAD: AD-Based Modular Ontology Classification. Haoruo Zhao, Bijan Parsia, Uli Sattler |
| 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 | Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner |
| 2021 | Testing in ASP: Revisited Language and Programming Environment. Giovanni Amendola, Tobias Berei, Francesco Ricca |
| 2021 | Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals. Miika Hannula, Jonni Virtema |
| 2021 | Tractable Combinations of Theories via Sampling. Manuel Bodirsky, Johannes Greiner |
| 2021 | Tractable Reasoning Using Logic Programs with Intensional Concepts. Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr, João Leite |
| 2021 | Transforming Gringo Rules into Formulas in a Natural Way. Vladimir Lifschitz |
| 2021 | Trust Is All You Need: From Belief Revision to Information Revision. Yasser Ammar, Haythem O. Ismail |
| 2021 | Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model. Laura Giordano, Daniele Theseider Dupré |