convert to other formats

sfu-cl-lab / FactorBase

The source code repository for the FactorBase system

https://sfu-cl-lab.github.io/FactorBase/

10 stars 6 forks source link

convert to other formats #8

Open oschulte opened 7 years ago

oschulte commented 7 years ago

e.g. Problog, PSL, Prism, weighted model counting

vidhiJain commented 7 years ago

I looked into ProbLog tool and found this tutorial relevant. Should we work on converting the BN to ProbLog programs? I could not find about Prism format.