Fahiem Bacchus Probabilistic Belief Logics. 59-64 1990 ECAI db/conf/ecai/ecai90.html#Bacchus90