Algebraic model counting

DOI10.1016/j.jal.2016.11.031zbMath1436.68335arXiv1211.4475OpenAlexW1873912000MaRDI QIDQ2407478

Guy Van den Broeck, Luc De Raedt, Angelika Kimmig

Publication date: 29 September 2017

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1211.4475

zbMATH Keywords

logicmodel countingknowledge compilation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (8)

Efficient Knowledge Compilation Beyond Weighted Model Counting ⋮ Handling epistemic and aleatory uncertainties in probabilistic circuits ⋮ kProbLog: an algebraic Prolog for machine learning ⋮ Semiring programming: a semantic framework for generalized sum product problems ⋮ Neural probabilistic logic programming in DeepProbLog ⋮ Unnamed Item ⋮ Lifted Reasoning for Combinatorial Counting ⋮ Weighted model counting without parameter variables

Uses Software

• Dyna

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Compiling propositional weighted bases
• Compiling relational Bayesian networks for exact inference
• Path Problems in Networks
• Semiring-Induced Propositional Logic: Definition and Basic Algorithms
• Modeling and Reasoning with Bayesian Networks
• On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision

This page was built for publication: Algebraic model counting