Publications and manuscripts, updated October 2026. Original paper titles are preserved. Preprints and the doctoral thesis are identified separately. Google Scholar · DBLP.

2026

  • Learnable Multi-Attribute Gradual Semantics for Predicting Persuasion in Argumentative Debates — Nino Pireaud, Victor David, Anthony Hunter, Pierre Monnin, Elena Cabrio. KR 2026 – KR meets Machine Learning and Explanation. PDF.
  • Elucidating Arguments Maps in Propositional Logic: Addressing Enthymemes and their Relationships — Jonathan Ben-Naim, Victor David, Anthony Hunter. KR 2026 – Main Track. PDF.
  • Do Argumentation Schemes Help? An Assessment of Their Role in Formalising Natural Language Arguments — Ameer Saadat-Yazdi, Victor David, Anthony Hunter, Serena Villata. COMMA 2026. PDF.
  • How Can Similarity Be Explained? Modeling Multiple Points of View with Inverse simFOL — Nino Pireaud, Victor David, Pierre Monnin, Elena Cabrio, Serena Villata, Anthony Hunter. COMMA 2026. PDF.
  • A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study — Victor David, Jérôme Delobelle, Jean-Guy Mailly. Technical report / preprint. PDF.

2025

  • Fast Computing of Dung Semantics in Acyclic Probabilistic Argumentation Frameworks — Stefano Bistarelli, Victor David, Pierre Monnin, Francesco Santini, Carlo Taticchi. AAAI 2025. PDF.
  • A Logic-based Framework for Decoding Enthymemes in Argument Maps Involving Implicitness in Premises and Claims — Victor David, Anthony Hunter. IJCAI 2025. PDF.
  • An Axiomatic Study of a Modular Evaluation of Enthymeme Decoding in Weighted Structured Argumentation — Jonathan Ben-Naim, Victor David, Anthony Hunter. KR 2025. PDF.
  • Similarity Measures for First-Order Logical Arguments — Victor David, Jérôme Delobelle, Jean-Guy Mailly. NMR 2025. PDF.

2024

  • Temporal Duration-Based Probabilistic Argumentation Frameworks — Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi. Journal of Logic and Computation (2024). PDF.
  • Understanding Enthymemes in Argument Maps: Bridging Argument Mining and Logic-based Argumentation — Jonathan Ben-Naim, Victor David, Anthony Hunter. arXiv preprint (2024). PDF.
  • An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation — Jonathan Ben-Naim, Victor David, Anthony Hunter. Preprint (earlier version of KR 2025 article). PDF.

2023

  • NeoMaPy: A Parametric Framework for Reasoning with MAP Inference on Temporal Markov Logic Networks — Victor David, Raphaël Fournier-S’niehotta, Nicolas Travers. CIKM 2023. PDF.
  • Temporal Probabilistic Argumentation Frameworks — Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi. CILC 2023. PDF.
  • NeoMaPy: a Framework for Computing MAP Inference on Temporal Knowledge Graphs — Victor David, Raphaël Fournier-S’niehotta, Nicolas Travers. IJCAI 2023 (Demo). PDF.
  • Similarity Measures between Order-Sorted Logical Arguments — Victor David, Jérôme Delobelle, Jean-Guy Mailly. JIAF–JFPDA 2023. PDF.
  • Towards a Temporal Probabilistic Argumentation Framework — Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi. FLAIRS 2023. PDF.

2022

  • Computing Grounded Semantics of Uncontroversial Acyclic Constellation Probabilistic Argumentation in Linear Time — Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi. AI³ / AIxIA 2022. PDF.
  • Parameterisation of Reasoning on Temporal Markov Logic Networks — Victor David, Raphaël Fournier-S’niehotta, Nicolas Travers. Preprint (2022). PDF.

2021

  • A General Setting for Gradual Semantics Dealing with Similarity — Leila Amgoud, Victor David. AAAI 2021. PDF.
  • Similarity Measures based on Compiled Arguments — Leila Amgoud, Victor David. ECSQARU 2021. PDF.
  • Dealing with Similarity in Argumentation — Victor David. PhD thesis, Université Toulouse III – Paul Sabatier, 2021. PDF.

2020

  • An Adjustment Function for Dealing with Similarities — Leila Amgoud, Victor David. COMMA 2020. PDF.

2019

  • Similarity Measures between Arguments Revisited — Leila Amgoud, Victor David, Dragan Doder. ECSQARU 2019. PDF.

2018

  • Measuring Similarity between Logical Arguments — Leila Amgoud, Victor David. KR 2018. PDF.

2017

  • Subsumption and Incompatibility between Principles in Ranking-Based Argumentation — Philippe Besnard, Victor David, Sylvie Doutre, Dominique Longin. ICTAI 2017. PDF.