Victor David

According to our database, Victor David authored at least 24 papers between 1999 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Technical Report - A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study.

Victor David, Jérôme Delobelle, Jean-Guy Mailly

CoRR, April, 2026

2025

Similarity Measures for First-Order Logical Arguments.

Victor David, Jérôme Delobelle, Jean-Guy Mailly

Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), 2025

An Axiomatic Study of a Modular Evaluation of Enthymeme Decoding in Weighted Structured Argumentation.

Jonathan Ben-Naim, Victor David, Anthony Hunter

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

A Logic-based Framework for Decoding Enthymemes in Argument Maps Involving Implicitness in Premises and Claims.

Victor David, Anthony Hunter

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

Fast Computing of Dung Semantics in Acyclic Probabilistic Argumentation Frameworks.

Stefano Bistarelli, Victor David, Pierre Monnin, Francesco Santini, Carlo Taticchi

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

Temporal duration-based probabilistic argumentation frameworks.

Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi

J. Log. Comput., 2024

An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation.

Jonathan Ben-Naim, Victor David, Anthony Hunter

CoRR, 2024

Understanding Enthymemes in Argument Maps: Bridging Argument Mining and Logic-based Argumentation.

Jonathan Ben-Naim, Victor David, Anthony Hunter

CoRR, 2024

2023

Similarity Measures between Order-Sorted Logical Arguments.

Victor David, Jérôme Delobelle, Jean-Guy Mailly

Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023

NeoMaPy: A Framework for Computing MAP Inference on Temporal Knowledge Graphs.

Victor David, Raphaël Fournier-S'niehotta, Nicolas Travers

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Towards a Temporal Probabilistic Argumentation Framework.

Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi

Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

Temporal Probabilistic Argumentation Frameworks.

Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi

Proceedings of the 38th Italian Conference on Computational Logic, 2023

NeoMaPy: A Parametric Framework for Reasoning with MAP Inference on Temporal Markov Logic Networks.

Victor David, Raphaël Fournier-S'niehotta, Nicolas Travers

Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023

2022

Parameterisation of Reasoning on Temporal Markov Logic Networks.

Victor David, Raphaël Fournier-S'niehotta, Nicolas Travers

CoRR, 2022

Computing Grounded Semantics of Uncontroversial Acyclic Constellation Probabilistic Argumentation in Linear Time.

Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi

Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 2022

2021

Dealing with Similarity in Argumentation. (Traitement de la Similarité en Argumentation).

Victor David

PhD thesis, 2021

Similarity Measures Based on Compiled Arguments.

Leila Amgoud, Victor David

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021

A General Setting for Gradual Semantics Dealing with Similarity.

Leila Amgoud, Victor David

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

An Adjustment Function for Dealing with Similarities.

Leila Amgoud, Victor David

Proceedings of the Computational Models of Argument, 2020

2019

Similarity Measures Between Arguments Revisited.

Leila Amgoud, Victor David, Dragan Doder

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

2018

Measuring Similarity between Logical Arguments.

Leila Amgoud, Victor David

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

Subsumption and Incompatibility between Principles in Ranking-Based Argumentation.

Philippe Besnard, Victor David, Sylvie Doutre, Dominique Longin

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2000

Data Evaluation in High-Performance Liquid Chromatography-Diode-Array Detection-Fluorescence Detection by Information Theory.

Victor David, Andrei Medvedovici

J. Chem. Inf. Comput. Sci., 2000

1999

Estimation of the Information Content in Ultraviolet-Visible Molecular Absorption Spectrometry.

Victor David

J. Chem. Inf. Comput. Sci., 1999