Revising Probabilistic Prolog Programs

DOI10.1007/978-3-540-73847-3_7MaRDI QIDQ5426034zbMATH OpenOpenAlexFDO

Authors Luc De Raedt, Kristian Kersting, Angelika Kimmig, K. Revoredo, Hannu T. Toivonen

Publication date 15 November 2007

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

Full work available at URL https://doi.org/10.1007/978-3-540-73847-3_7

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Probabilistic logic programming
• ProbLog Technology for Inference in a Probabilistic First Order Logic
• Compressing probabilistic Prolog programs
• On the implementation of the probabilistic logic programming language ProbLog
• Extending ProbLog with Continuous Distributions

Cited in

(12)

• Compressing probabilistic Prolog programs
• k-optimal: a novel approximate inference algorithm for ProbLog
• P-log: refinement and a new coherency condition
• RankPL: a qualitative probabilistic programming language
• Probabilistic inductive querying using \texttt{ProbLog}
• \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
• scientific article; zbMATH DE number 1081141 (Why is no real title available?)
• Coalgebraic semantics for probabilistic logic programming
• Logic Programming
• Inductive Logic Programming
• On the Efficient Execution of ProbLog Programs
• On the strong equivalences for \(\mathrm{LP^{MLN}}\) programs

This page was built for publication: Revising Probabilistic Prolog Programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5426034)