The following pages link to Algebraic model counting (Q2407478):
Displaying 12 items.
- kProbLog: an algebraic Prolog for machine learning (Q1699913) (← links)
- Weighted model counting without parameter variables (Q2118293) (← links)
- Handling epistemic and aleatory uncertainties in probabilistic circuits (Q2163184) (← links)
- Semiring programming: a semantic framework for generalized sum product problems (Q2206471) (← links)
- Neural probabilistic logic programming in DeepProbLog (Q2238688) (← links)
- (Q4637032) (← links)
- Efficient Knowledge Compilation Beyond Weighted Model Counting (Q5038457) (← links)
- Lifted Reasoning for Combinatorial Counting (Q5870533) (← links)
- Semiring reasoning frameworks in AI and their computational complexity (Q6488781) (← links)
- Aspmc: new frontiers of algebraic answer set counting (Q6566624) (← links)
- Semirings for probabilistic and neuro-symbolic logic programming (Q6577667) (← links)
- Declarative probabilistic logic programming in discrete-continuous domains (Q6665698) (← links)
