Declarative probabilistic programming with Datalog

DOI10.4230/LIPICS.ICDT.2016.7MaRDI QIDQ5276186zbMATH OpenOpenAlexFDO

Authors Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena

Publication date 14 July 2017

Full work available at URL https://doi.org/10.4230/LIPIcs.ICDT.2016.7

zbMATH Keywords

probabilistic programmingchaseDatalogprobability measure space

Mathematics Subject Classification ID

Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 7102019
• On the implementation of the probabilistic logic programming language ProbLog
• Probabilistic (logic) programming concepts
• The magic of logical inference in probabilistic programming
• Probabilistic logic programming

Cited in

(6)

• PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
• Conceptual language for statistical data modeling
• Tabular, a schema-driven probabilistic programming language
• Fabular: regression formulas as probabilistic programming
• Generative Datalog and answer set programming (extended abstract)
• Generative Datalog with continuous distributions

Describes a project that uses

Uses Software

• Figaro
• Tuffy
• LogiQL
• Datalog
• DeepDive
• Venture
• PyMC

This page was built for publication: Declarative probabilistic programming with Datalog

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