ML-KULeuven / problog

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

https://dtai.cs.kuleuven.be/problog/

ML-KULeuven/problog Issues

Extremely long computation time for LFI in practical cases
Updated 24 days ago2
Markov Chain -- dSharp compiler results in prob >1
Updated a month ago8
Are constraints now supported in Problog?
Closed a month ago5
Extracting bounds of the anytime tp-compilation
Closed a month ago1
Is approximate inference by sampling implemented in ProbLog?
Closed 3 months ago1
MPE example in tutorial not working
Closed 4 months ago2
Negative cycle detected.
Closed 4 months ago4
question: predicating on probability values
Closed 4 months ago2
ModuleNotFoundError: No module named 'problog.program'; 'problog' is not a package
Closed 5 months ago1
Semantics of AD?
Closed 6 months ago6
Can Problog return limit result?
Updated a year ago
Web: display the MPE probability
Updated a year ago
Apparent problem with subquery/3
Updated a year ago2
Error exit code on success
Updated a year ago3
problog sample not behaving as in documentation
Updated a year ago4
Persisting Problog Python objects
Closed a year ago1
Future plans for ProbLog
Closed a year ago1
Parameter learning behaviour on BN example
Updated a year ago2
Strange scoring method in LFI
Updated a year ago1
Support library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains
Closed a year ago3
Python Documentation error
Updated a year ago
Issue with evidence
Closed a year ago5
numbervars/2 is not working
Updated a year ago3
String library
Closed a year ago3
Exponential runtime increase
Closed 2 years ago4
Making a Predicate/fact that depends on an inequality
Closed 2 years ago2
dsharp.exe Windows binary throws error
Closed 2 years ago4
Regular expression search function
Closed 2 years ago4
problog python code error
Closed 2 years ago1
problog web: ModuleNotFoundError: No module named 'resource'
Closed 2 years ago1
Testing Bayes
Closed 2 years ago1
Error when using LFI from Python 3.8
Closed 2 years ago3
How to define rules(facts) using Problog Python
Closed 2 years ago4
bug in String library: str2lst?
Closed 2 years ago3
save problog knowledge base as .pl file
Closed 2 years ago6
unexpected outcome for "compiling-once, evaluate-many" recipe
Closed 2 years ago5
Uniform with n outcomes
Closed 2 years ago4
Inconsistent integer casting
Closed 2 years ago3
Integer comparison does not behave as expected.
Closed 2 years ago1
Hanging Collective Transitive Rules
Updated 2 years ago9
#dinamic predicate
Closed 2 years ago4
Conceptual Graphs support by Problog
Updated 2 years ago2
Enhancement request: option to put model and examples in the same file
Updated 2 years ago1
`str` type annotation for `problog_export` functions
Closed 2 years ago
"stop" button for web interface
Updated 2 years ago
Learning a Markov process - how to avoid infinite loop?
Closed 2 years ago2
Grounding issue - NonGroundProbabilisticClause Exception
Closed 3 years ago5
MPE not working on online version
Closed 3 years ago11
Direct download link broken
Closed 3 years ago1
Unexpected query results on a simple KB with recursive rules.
Closed 3 years ago2