Vincent Derkinderen
7 papers
· 2020–2025
· 5 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(18)
π§
Keyword Pioneer
π
Conference Polyglot
(5)
π
Academic Marathon
(5)
π
Cross-Pollinator
(15)
π
Keyword Champion
(3)
π
Trend Setter
Conferences
AAAI (3)
ICLR (1)
ICML (1)
IJCAI (1)
UAI (1)
Top co-authors
Keywords
knowledge compilation
(3)
probabilistic inference
(2)
uncertainty quantification
(1)
epistemic uncertainty
(1)
probabilistic logic
(1)
symbolic reasoning
(1)
heuristic search
(1)
model uncertainty
(1)
markov decision process
(1)
discrete optimization
(1)
variable elimination
(1)
parameter learning
(1)
bayesian network
(1)
dynamic bayesian network
(1)
monte carlo method
(1)
weighted model integration
(1)
conflict-driven clause learning
(1)
clause learning
(1)
symmetry exploitation
(1)
boolean circuit
(1)
Papers
Circuit-Aware d-DNNF Compilation
IJCAI 2025