← Search

Victor David

4 accepted papers

2025

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

IJCAI 2025

Argument mining is a natural language processing technology aimed at identifying the explicit premises and claims of arguments in text, and the support and attack relationships between them. To better understand, and automatically analyse, the argument maps that are output from argument mining, it w

Cited by 0SourcePDFScholar
2025

Fast Computing of Dung Semantics in Acyclic Probabilistic Argumentation Frameworks

AAAI 2025technical

This paper presents fast and exact methods for computing the probability of an argument’s acceptance using Dung’s semantics in the Constellation paradigm of Abstract Argumentation. For (directed) Singly-Connected Graphs (SCGs), the problem can now be solved in linearithmic time instead of being expo…

2023

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

IJCAI 2023poster

Markov Logic Networks (MLN) are used for reasoning on uncertain and inconsistent temporal data. We proposed the TMLN (Temporal Markov Logic Network) which extends them with sorts/types, weights on rules and facts, and various temporal consistencies. The NeoMaPy framework integrates it as a knowledge…