issues
search
ML-KULeuven
/
problog
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
https://dtai.cs.kuleuven.be/problog/
297
stars
34
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Grounding issue - NonGroundProbabilisticClause Exception
#68
Dznan
closed
2 years ago
5
Fixed maxsatz compilation error for C99
#67
VincentDerk
closed
2 years ago
0
Direct download link broken
#66
bartbog
closed
2 years ago
1
MPE not working on online version
#65
bartbog
closed
2 years ago
11
Unexpected query results on a simple KB with recursive rules.
#64
liu-cs
closed
2 years ago
2
PySDD package not recognised
#63
leuschel
closed
3 years ago
2
Deprecation warnings
#62
rmanhaeve
closed
2 years ago
2
Feature/lficont
#61
wenchiyang
closed
3 years ago
0
How to execute this using python
#60
indhu-24
closed
3 years ago
9
Identifying which clauses are triggered when running the inference engine
#59
Sidney2408
closed
3 years ago
2
Not throwing an error with inconsistent theories?
#58
pclark425
closed
3 years ago
2
Depth of proof
#57
alexgaskell10
closed
3 years ago
1
Explosive growth in compilation time
#56
hessammehr
closed
3 years ago
7
How to identify all goals another goal calls?
#55
mac389
closed
3 years ago
1
Why does this give a NonGroundProbabilisticClause error, but not the deterministic counterpart?
#54
mac389
closed
3 years ago
4
Communicating from Python to ProbLog ?
#53
vsraptor
closed
3 years ago
1
Negative evidence when learning annotated disjunctions params
#52
lewtds
closed
3 years ago
6
Add the missing --output-model for lfi mode
#51
lewtds
closed
3 years ago
0
Example 3 in Naive Bayes param learning tutorial fails with "Encountered a non-ground probabilistic clause."
#50
lewtds
closed
2 years ago
3
LFI mode crashes when learning facts with multiple groundings
#49
lewtds
closed
3 years ago
4
Mimic DCG
#48
vsraptor
closed
3 years ago
1
Giving a model of 500 Lines returns error on Dsharp Python
#47
npapatheodorou
closed
3 years ago
4
Julia front-end for ProbLog through PyCall
#46
femtomc
opened
3 years ago
5
Feature/lficont
#45
arcchitjain
closed
3 years ago
1
To prolog bugfix
#44
VincentDerk
closed
4 years ago
0
(small) fix import in backward compatibility module
#43
tgy
closed
4 years ago
0
Docs update
#42
GiuseppeMarra
closed
4 years ago
0
Feature/lficont
#41
VincentDerk
closed
4 years ago
0
subquery/2 and /3 always use the ProbabilitySemiring
#40
VincentDerk
opened
4 years ago
5
InconsistentEvidenceError for evidence with non-beta distributions + support for "nonbinary evidence"? (dcproblog_develop)
#39
shuvrobiswas
opened
4 years ago
9
PySDD / SDD package is not being detected in branch dcproblog_develop
#38
shuvrobiswas
closed
4 years ago
2
Added more tests
#37
twinters
closed
4 years ago
0
Pn weight
#36
pedrozudo
closed
4 years ago
0
Used SDD instead of XSDD for query(true).
#35
VincentDerk
closed
4 years ago
1
Bugfix, recomputing evidence
#34
VincentDerk
closed
4 years ago
0
Extend query(True) and custom weights
#33
VincentDerk
closed
4 years ago
0
Allow to set both positive and negative weights.
#32
VincentDerk
closed
4 years ago
1
Custom weights for specific nodes
#31
VincentDerk
closed
4 years ago
1
Add a Dockerfile for easier distribution
#30
savente93
closed
2 years ago
4
Add support for hexadecimal number (e.g. 0xff) (fixes #19)
#29
anton3s
closed
4 years ago
1
Question: how to define complex Python predicate
#28
XVilka
closed
4 years ago
4
Support DCG (Definite Clause Grammar syntax)
#27
XVilka
opened
4 years ago
1
Support Prolog strings
#26
XVilka
opened
4 years ago
0
Support type annotations (Python 3.6+) for `problog_export` functions
#25
XVilka
opened
4 years ago
0
problog_export does not support type annotated functions
#24
XVilka
closed
4 years ago
4
Error on Linux Errno 8 OSError
#23
worl44
closed
4 years ago
10
Use `prompt-toolkit` for the better REPL experience
#22
XVilka
opened
4 years ago
0
Allow to type multiline statements in the `shell`
#21
XVilka
opened
4 years ago
0
Invalid argument types for call to '>/2': arguments: (X1, 0), expected: (ground, ground)
#20
XVilka
closed
4 years ago
6
Support hexadecimal numbers
#19
XVilka
closed
4 years ago
4
Previous
Next