| 2026 | KR | Elucidating Arguments Maps in Propositional Logic: Addressing Enthymemes and their Relationships. | Jonathan Ben-Naim, Victor David, Anthony Hunter |
| 2026 | KR | Learnable Multi-Attribute Gradual Semantics for Predicting Persuasion in Argumentative Debates. | Nino Pireaud, Victor David, Anthony Hunter, Pierre Monnin, Elena Cabrio |
| 2025 | AAAI | Fast Computing of Dung Semantics in Acyclic Probabilistic Argumentation Frameworks. | Stefano Bistarelli, Victor David, Pierre Monnin, Francesco Santini, Carlo Taticchi |
| 2025 | IJCAI | A Logic-based Framework for Decoding Enthymemes in Argument Maps Involving Implicitness in Premises and Claims. | Victor David, Anthony Hunter |
| 2025 | KR | An Axiomatic Study of a Modular Evaluation of Enthymeme Decoding in Weighted Structured Argumentation. | Jonathan Ben-Naim, Victor David, Anthony Hunter |
| 2023 | CIKM | NeoMaPy: A Parametric Framework for Reasoning with MAP Inference on Temporal Markov Logic Networks. | Victor David, Raphal Fournier-S'niehotta, Nicolas Travers |
| 2023 | FlAIRS | Towards a Temporal Probabilistic Argumentation Framework. | Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi |
| 2023 | IJCAI | NeoMaPy: A Framework for Computing MAP Inference on Temporal Knowledge Graphs. | Victor David, Raphal Fournier-S'niehotta, Nicolas Travers |
| 2021 | AAAI | A General Setting for Gradual Semantics Dealing with Similarity. | Leila Amgoud, Victor David |
| 2021 | ECSQARU | Similarity Measures Based on Compiled Arguments. | Leila Amgoud, Victor David |
| 2020 | COMMA | An Adjustment Function for Dealing with Similarities. | Leila Amgoud, Victor David |
| 2019 | ECSQARU | Similarity Measures Between Arguments Revisited. | Leila Amgoud, Victor David, Dragan Doder |
| 2018 | KR | Measuring Similarity between Logical Arguments. | Leila Amgoud, Victor David |
| 2017 | ICTAI | Subsumption and Incompatibility between Principles in Ranking-Based Argumentation. | Philippe Besnard, Victor David, Sylvie Doutre, Dominique Longin |