TY  - RPRT
TI  - PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics
AU  - David Tuckey
AU  - Alessandra Russo
AU  - Krysia Broda
PY  - 2021
UR  - https://arxiv.org/abs/2105.10908
ID  - 2105.10908
ER  -