| 2021 | Somebody Knows. | Thomas gotnes, Y N. Wng |
| 2021 | Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic. | Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga |
| 2021 | Rational Verification for Probabilistic Systems. | Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge |
| 2021 | On the Maximal Number of Complete Extensions in Abstract Argumentation Frameworks. | Markus Ulbricht |
| 2020 | Explainable and Argumentation-based Decision Making with Qualitative Preferences for Diagnostics and Prognostics of Alzheimer's Disease. | Zhiwei Zeng, Zhiqi Shen, Benny Toh Hsiang Tan, Jing Jih Chin, Cyril Leung, Yu Wang, Ying Chi, Chunyan Miao |
| 2020 | DatalogMTL over the Integer Timeline. | Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev |
| 2020 | Modeling Affordances and Functioning for Personalized Robotic Assistance. | Alessandro Umbrico, Gabriella Cortellessa, Andrea Orlandini, Amedeo Cesta |
| 2020 | Knowledge-Preserving Certain Answers for SQL-like Queries. | Etienne Toussaint, Paolo Guagliardo, Leonid Libkin |
| 2020 | Seq2KG: An End-to-End Neural Model for Domain Agnostic Knowledge Graph (not Text Graph) Construction from Text. | Michael Stewart, Wei Liu |
| 2020 | On Tractable Representations of Binary Neural Networks. | Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi |
| 2020 | Non-Prioritized Iterated Revision: Improvement via Incremental Belief Merging. | Nicolas Schwind, Sbastien Konieczny |
| 2020 | A Semantic Perspective on Omission Abstraction in ASP. | Zeynep G. Saribatur, Thomas Eiter |
| 2020 | Jokes and Belief Revision. | Florence Dupin de Saint-Cyr, Henri Prade |
| 2020 | Neuro-Symbolic Probabilistic Argumentation Machines. | Rgis Riveret, Son N. Tran, Artur S. d'Avila Garcez |
| 2020 | Independence and D-separation in Abstract Argumentation. | Tjitze Rienstra, Matthias Thimm, Kristian Kersting, Xiaoting Shao |
| 2020 | Concept Contraction in the Description Logic EL. | Tjitze Rienstra, Claudia Schon, Steffen Staab |
| 2020 | Modelling the Polysemy of Spatial Prepositions in Referring Expressions. | Adam Richard-Bollans, Luca Gmez lvarez, Anthony G. Cohn |
| 2020 | Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation. | Simon Rey, Ulle Endriss, Ronald de Haan |
| 2020 | Choosing What to Believe - New Results in Selective Revision. | Fillipe Resina, Marco Garapa, Renata Wassermann, Eduardo Ferm, Maurcio D. Lus Reis |
| 2020 | Bipolar Abstract Argumentation with Dual Attacks and Supports. | Nico Potyka |
| 2020 | Towards a Logic of Meta-Analysis. | Rafael Pealoza |
| 2020 | -toksia: An Efficient Abstract Argumentation Reasoner. | Andreas Niskanen, Matti Jrvisalo |
| 2020 | Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation. | Andreas Niskanen, Matti Jrvisalo |
| 2020 | Explainable Planning Using Answer Set Programming. | Van Nguyen, Vasileiou Loukas Stylianos, Tran Cao Son, William Yeoh |
| 2020 | On the Reversibility of Actions in Planning. | Michael Morak, Luks Chrpa, Wolfgang Faber, Daniel Fiser |