On the Efficient Execution of ProbLog Programs

DOI10.1007/978-3-540-89982-2_22zbMath1185.68162OpenAlexW1560531798MaRDI QIDQ5504655

Angelika Kimmig, Ricardo Rocha, Vitor Costa, Bart Demoen, Luc De Raedt

Publication date: 22 January 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/199133

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Probabilistic logic programming for hybrid relational domains ⋮ Viterbi training in PRISM ⋮ Probabilistic (logic) programming concepts ⋮ Planning in hybrid relational MDPs ⋮ Unnamed Item ⋮ Neural probabilistic logic programming in DeepProbLog ⋮ The PITA system: Tabling and answer subsumption for reasoning under uncertainty ⋮ Probabilistic Rule Learning in Nonmonotonic Domains

Uses Software

• ProbLog
• YAP-Prolog
• ProbView
• Trio

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
• Probabilistic (logic) programming concepts
• Compressing probabilistic Prolog programs
• Probabilistic Horn abduction and Bayesian networks
• Graph-Based Algorithms for Boolean Function Manipulation
• Abducing through negation as failure: stable models within the independent choice logic
• Logic Programming