We embed Bayesian network into proof nets of linear logic which efficiently express graphical reasoning on probabilities simply by proof net slicing.
Maieli, R. (2025). Bayesian Proof Nets. In Lecture Notes in Networks and Systems (pp.142-152). GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND : Springer Science and Business Media Deutschland GmbH [10.1007/978-3-031-76459-2_13].
Bayesian Proof Nets
Maieli, Roberto
Membro del Collaboration Group
2025-01-01
Abstract
We embed Bayesian network into proof nets of linear logic which efficiently express graphical reasoning on probabilities simply by proof net slicing.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
