Probabilistic logic under coherence: complexity and algorithms.

Veronica Biazzo Angelo Gilio Thomas Lukasiewicz Giuseppe Sanfilippo Probabilistic logic under coherence: complexity and algorithms. 35-81 2005 45 Ann. Math. Artif. Intell. 1-2 http://dx.doi.org/10.1007/s10472-005-9005-y db/journals/amai/amai45.html#BiazzoGLS05