Victor David
4 papers · 2021–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(12)
Top co-authors
Research topics
Artificial Intelligence
(3)
Machine Learning
(3)
Knowledge & Reasoning
(2)
Core AI
(2)
Optimization & Theory
(2)
Reasoning
(2)
Mathematics & Optimization
(1)
Natural Language Processing
(1)
Applications
(1)
Bayesian & Probabilistic · Artificial Intelligence
(1)
Bayesian & Probabilistic · Machine Learning
(1)
Mathematics
(1)
Optimization
(1)
Representation
(1)
Understanding
(1)
Keywords
probabilistic inference
(1)
logical reasoning
(1)
argument mining
(1)
knowledge graph reasoning
(1)
map inference
(1)
probabilistic reasoning
(1)
complexity analysis
(1)
markov logic network
(1)
temporal knowledge graph
(1)
graph algorithm
(1)
directed acyclic graph
(1)
monte carlo method
(1)
similarity measure
(1)
aggregation function
(1)
maxsat solver
(1)
argumentation theory
(1)
probabilistic argumentation
(1)
gradual semantics
(1)
dung semantics
(1)
rationality principle
(1)
Papers
A Logic-based Framework for Decoding Enthymemes in Argument Maps Involving Implicitness in Premises and Claims
IJCAI 2025
Fast Computing of Dung Semantics in Acyclic Probabilistic Argumentation Frameworks
AAAI 2025
NeoMaPy: A Framework for Computing MAP Inference on Temporal Knowledge Graphs
IJCAI 2023
A General Setting for Gradual Semantics Dealing with Similarity
AAAI 2021