Vincent Derkinderen

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)