CP-logic theory inference with contextual variable elimination and comparison to BDD based inference methods

DOI10.1007/978-3-642-13840-9_10zbMATH Open1286.68421OpenAlexW1867743344MaRDI QIDQ3582686FDOQ3582686

Authors: Wannes Meert, Jan Struyf, Hendrik Blockeel 

Publication date: 24 August 2010

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

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

Recommendations

• CP-logic: A language of causal probabilistic events and its relation to logic programming
• Probabilistic modelling, inference and learning using logical theories
• \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
• Probabilistic logic with independence
• The magic of logical inference in probabilistic programming

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27)

Cited In (11)

• The magic of logical inference in probabilistic programming
• CP-logic: A language of causal probabilistic events and its relation to logic programming
• Symbolic DNN-tuner
• Applying the information bottleneck to statistical relational learning
• Inference and learning in probabilistic logic programs using weighted Boolean formulas
• \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
• Learning ground GP-logic theories by leveraging Bayesian network learnng techniques
• An OpenCL implementation of a forward sampling algorithm for CP-logic
• Lifted discriminative learning of probabilistic logic programs
• Learning hierarchical probabilistic logic programs
• Causal inference in cplint

Uses Software

• ProbLog

This page was built for publication: CP-logic theory inference with contextual variable elimination and comparison to BDD based inference methods

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