| 2020 | Spatial Reasoning about String Loops and Holes in Temporal ASP. | Pedro Cabalar, Paulo E. Santos |
| 2020 | A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko |
| 2020 | Simultaneous Representation of Knowledge and Belief for Epistemic Planning with Belief Revision. | David Buckingham, Daniel Kasenberg, Matthias Scheutz |
| 2020 | Module Checking of Pushdown Multi-agent Systems. | Laura Bozzelli, Aniello Murano, Adriano Peron |
| 2020 | High-level Programming via Generalized Planning and LTL Synthesis. | Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin |
| 2020 | Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation. | Meghyn Bienvenu, Camille Bourgaux |
| 2020 | Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation. | Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
| 2020 | An Optimization Approach to Robust Goal Obfuscation. | Sara Bernardini, Fabio Fagnani, Santiago Franco |
| 2020 | A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gdel's Ontological Argument. | Christoph Benzmller |
| 2020 | Balancing Expressiveness and Inexpressiveness in View Design. | Michael Benedikt, Pierre Bourhis, Louis Jachiet, Efthymia Tsamoura |
| 2020 | A Three-valued Approach to Strategic Abilities under Imperfect Information. | Francesco Belardinelli, Vadim Malvone |
| 2020 | Comparing Weak Admissibility Semantics to their Dung-style Counterparts - Reduct, Modularization, and Strong Equivalence in Abstract Argumentation. | Ringo Baumann, Gerhard Brewka, Markus Ulbricht |
| 2020 | An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. | Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son |
| 2020 | On Tractable XAI Queries based on Compiled Representations. | Gilles Audemard, Frdric Koriche, Pierre Marquis |
| 2020 | Stable and Supported Semantics in Continuous Vector Spaces. | Yaniv Aspis, Krysia Broda, Alessandra Russo, Jorge Lobo |
| 2020 | Ordinal Polymatrix Games with Incomplete Information. | Nahla Ben Amor, Hlne Fargier, Rgis Sabbadin, Meriem Trabelsi |
| 2020 | Answer Set Programming with Composed Predicate Names. | Mario Alviano |
| 2020 | Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation. | Gianvincenzo Alfano, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna |
| 2020 | Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. | Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio |
| 2020 | Reasoning with Contextual Knowledge and Influence Diagrams. | Erman Acar, Rafael Pealoza |
| 2020 | On the Approximability of Weighted Model Integration on DNF Structures. | Ralph Abboud, Ismail Ilkan Ceylan, Radoslav Dimitrov |
| 2020 | Inputs, Outputs, and Composition in the Logic of Information Flows. | Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche |
| 2020 | Argumentation as a Framework for Interactive Explanations for Recommendations. | Antonio Rago, Oana Cocarascu, Christos Bechlivanidis, Francesca Toni |
| 2018 | Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic. | Benjamin Zarrie |
| 2018 | Filtering Clinical Guideline Interactions with Pre-Conditions: A Case Study on Diabetes Guideline. | Veruska Zamborlini, Roelof van der Heijden, Annette ten Teije |