6 projects
pydeeplog
An operational framework for building neurosymbolic (NeSy) systems on top of PyTorch.
mv-sdd
Multi-Valued Sentential Decision Diagrams — a knowledge-compilation library with k-ary categorical fan-out at vtree leaves
problog
ProbLog2: Probabilistic Logic Programming toolbox
PySDD
Sentential Decision Diagrams
deepproblog
DeepProbLog: Problog with neural networks
deepstochlog
Neural Stochastic Logic Programming
