| 2026 | KR | Elucidating Arguments Maps in Propositional Logic: Addressing Enthymemes and their Relationships. | Jonathan Ben-Naim, Victor David, Anthony Hunter |
| 2025 | AAAI | Minimal Change in Modal Logic S5. | Carlos Aguilera-Ventura, Jonathan Ben-Naim, Andreas Herzig |
| 2025 | KR | An Axiomatic Study of a Modular Evaluation of Enthymeme Decoding in Weighted Structured Argumentation. | Jonathan Ben-Naim, Victor David, Anthony Hunter |
| 2022 | IJCAI | Axiomatic Foundations of Explainability. | Leila Amgoud, Jonathan Ben-Naim |
| 2018 | IJCAI | Weighted Bipolar Argumentation Graphs: Axioms and Semantics. | Leila Amgoud, Jonathan Ben-Naim |
| 2017 | ECSQARU | Evaluation of Arguments in Weighted Bipolar Graphs. | Leila Amgoud, Jonathan Ben-Naim |
| 2017 | IJCAI | Acceptability Semantics for Weighted Argumentation Frameworks. | Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic |
| 2017 | IJCAI | Measuring the Intensity of Attacks in Argumentation Graphs with Shapley Value. | Leila Amgoud, Jonathan Ben-Naim, Srdjan Vesic |
| 2016 | IJCAI | Evaluation of Arguments from Support Relations: Axioms and Semantics. | Leila Amgoud, Jonathan Ben-Naim |
| 2016 | KR | Axiomatic Foundations of Acceptability Semantics. | Leila Amgoud, Jonathan Ben-Naim |
| 2016 | KR | Ranking Arguments With Compensation-Based Semantics. | Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic |
| 2014 | ICCS | Argumentation-Based Paraconsistent Logics. | Jonathan Ben-Naim |
| 2006 | KR | Lack of Finite Characterizations for the Distance-Based Revision. | Jonathan Ben-Naim |
| 2005 | ECSQARU | Belief Revision of GIS Systems: The Results of REV!GIS. | Salem Benferhat, Jonathan Ben-Naim, Robert Jeansoulin, Mahat Khelfallah, Sylvain Lagrue, Odile Papini, Nic Wilson, ric Wrbel |
| 2004 | JELIA | An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS. | Jonathan Ben-Naim, Salem Benferhat, Odile Papini, ric Wrbel |