Skip to content
conftrace_

probabilistic logic

27 papers

Explore in graph

Co-occurring keywords · papers mentioning both

first-order logic (4) lifted inference (3) model checking (3) probabilistic inference (3) symbolic reasoning (2) self-supervised learning (2) deep learning (2) probabilistic reasoning (2) knowledge compilation (2) bayesian network (2)

Papers

First-order Decomposition Trees NeurIPS 2013 On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference NeurIPS 2011