1
TITLE: Compacting Boolean Formulae for Inference in Probabilistic Logic Programming
AUTHORS: Theofrastos Mantadelis ; Dimitar Sht. Shterionov; Gerda Janssens;
PUBLISHED: 2015, SOURCE: 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015 in Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, VOLUME: 9345
INDEXED IN: Scopus DBLP CrossRef
2
TITLE: Pattern-Based Compaction for ProbLog Inference PDF
AUTHORS: Dimitar Sht. Shterionov; Theofrastos Mantadelis ; Gerda Janssens;
PUBLISHED: 2013, SOURCE: TPLP, VOLUME: 13, ISSUE: 4-5-Online-Supplement
INDEXED IN: DBLP
3
TITLE: DNF Sampling for ProbLog Inference PDF
AUTHORS: Dimitar Sht. Shterionov; Angelika Kimmig; Theofrastos Mantadelis ; Gerda Janssens;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1009.3798
INDEXED IN: DBLP arXiv