Showing cs.AIShow all
3 papers · 1 filter
cs.AI2023
Finding an -close Variation of Parameters in Bayesian Networks
Bahare Salmani, Joost-Pieter Katoen
This paper addresses the -close parameter tuning problem for Bayesian Networks (BNs): find a minimal -close amendment of probability entries in a given set of (rows in) condi…
cs.AI2021
Fine-Tuning the Odds in Bayesian Networks
Bahare Salmani, Joost-Pieter Katoen
This paper proposes various new analysis techniques for Bayes networks in which conditional probability tables (CPTs) may contain symbolic variables. The key idea is to exploit sca…
cs.AI2020
Bayesian Inference by Symbolic Model Checking
Bahare Salmani, Joost-Pieter Katoen
This paper applies probabilistic model checking techniques for discrete Markov chains to inference in Bayesian networks. We present a simple translation from Bayesian networks into…