PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics.

David Tuckey Alessandra Russo Krysia Broda

Published in: CoRR (2021)

Keyphrases

probabilistic logic programs
logic programming
formal semantics
probabilistic logic
semantic information
parallel processing
parallel implementation
shared memory
theoretical framework
nonmonotonic reasoning