conftrace_

probabilistic logical model

3 papers

Explore in graph

Also known as

PLM

Co-occurring keywords · papers mentioning both

lifted inference (2) algebraic model counting (1) integer polynomial program (1) inference complexity (1) integer linear program (1) neuro-symbolic ai (1) markov logic network (1) probabilistic graphical model (1) graphical model (1) decomposition trees (1)

Papers

The Gradient of Algebraic Model Counting AAAI 2025 An Integer Polynomial Programming Based Framework for Lifted MAP Inference NeurIPS 2014 First-order Decomposition Trees NeurIPS 2013