| 2022 | Region-Based Merging of Open-Domain Terminological Knowledge. | Zied Bouraoui, Sbastien Konieczny, Thanh Ma, Nicolas Schwind, Ivan Varzinczak |
| 2022 | Sticky Policies in OWL2: Extending PL with Fixpoints and Transitive Closure. | Piero A. Bonatti, Luigi Sauro |
| 2022 | Defining Defense and Defeat in Abstract Argumentation From Scratch - A Generalizing Approach. | Lydia Blmel, Markus Ulbricht |
| 2022 | Counting Queries over ELHI⊥ Ontologies. | Meghyn Bienvenu, Quentin Manire, Michal Thomazo |
| 2022 | Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments. | Meghyn Bienvenu, Camille Bourgaux |
| 2022 | On Syntactic Forgetting with Strong Persistence. | Matti Berthold |
| 2022 | The Topology of Surprise. | Alexandru Baltag, Nick Bezhanishvili, David Fernndez-Duque |
| 2022 | On the Relationship between Shy and Warded Datalog+/-. | Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger |
| 2022 | Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs. | Franz Baader, Francesco Kriegel |
| 2022 | Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings. | Yaniv Aspis, Krysia Broda, Jorge Lobo, Alessandra Russo |
| 2022 | Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. | Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli |
| 2022 | Discovering User-Interpretable Capabilities of Black-Box Planning Agents. | Pulkit Verma, Shashank Rao Marpally, Siddharth Srivastava |
| 2022 | Act for Your Duties but Maintain Your Rights. | Shufang Zhu, Giuseppe De Giacomo |
| 2022 | A Gdel Calculus for Linear Temporal Logic. | Juan P. Aguilera, Martn Diguez, David Fernndez-Duque, Brett McLean |
| 2022 | Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement. | Antonio Rago, Pietro Baroni, Francesca Toni |
| 2021 | Metadata-based Term Selection for Modularization and Uniform Interpolation of OWL Ontologies. | Xinhao Zhu, Xuan Wu, Ruiqing Zhao, Yu Dong, Yizheng Zhao |
| 2021 | Sahlqvist-type Correspondence Theory for Second-Order Propositional Modal Logic (Short Paper). | Zhiguang Zhao |
| 2021 | Semi-Stable Semantics for Abstract Dialectical Frameworks. | Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij |
| 2021 | A Principle-based Analysis of Abstract Agent Argumentation Semantics. | Liuwen Yu, Dongheng Chen, Lisha Qiao, Yiqi Shen, Leendert van der Torre |
| 2021 | PATCHCOMM: Using Commonsense Knowledge to Guide Syntactic Parsers. | Yida Xin, Henry Lieberman, Peter Chin |
| 2021 | Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk). | Frank Wolter |
| 2021 | Applying Second-Order Quantifier Elimination in Inspecting Gdel's Ontological Proof. | Christoph Wernhard |
| 2021 | Finitely Materialisable Datalog Programs with Metric Temporal Operators. | Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau |
| 2021 | DatalogMTL with Negation Under Stable Models Semantics. | Przemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, Bernardo Cuenca Grau |
| 2021 | Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk). | David Toman, Grant E. Wedell |