Tableau systems for reasoning about risk

Matteo Cristani, Erisa Karafili, Luca ViganĂ². Tableau systems for reasoning about risk. J. Ambient Intelligence and Humanized Computing, 5(2):215-247, 2014. [doi]

Abstract

Abstract is missing.