Coalgebraic Semantics for Probabilistic Logic Programming

Tao Gu, Fabio Zanasi. Coalgebraic Semantics for Probabilistic Logic Programming. Logical Methods in Computer Science, 17(2), 2021. [doi]

Abstract

Abstract is missing.