Bayesian evaluation of high-energy neutrino emission by Active Galactic Nuclei with the IceCube 40-string configuration