Nils J. Nilsson Probabilistic Logic. 71-87 1986 28 Artif. Intell. 1 db/journals/ai/ai28.html#Nilsson86