GitHub topics: probabilistic-logic-programming
kamel-usp/dpasp
Differentiable probabilistic answer set programming
Language: C - Size: 810 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 23 - Forks: 4
friguzzi/cplint
cplint is a suite of programs for reasoning with probabilistic logic programs
Language: Prolog - Size: 36.4 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 74 - Forks: 13
ML-KULeuven/problog
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Language: Python - Size: 18.4 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 334 - Forks: 39
friguzzi/bddem
bddem is a SWI-Prolog pack for using Binary Decision Diagrams
Language: C - Size: 8.47 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 2
jasonfilippou/Prob-EC
A probabilistic version of the Event Calculus logic programming engine, developed during my time at NCSR "Demokritos", Athens, Greece.
Language: Prolog - Size: 5.26 MB - Last synced at: almost 2 years ago - Pushed at: over 11 years ago - Stars: 4 - Forks: 1
