Skip to content
conftrace_

first-order reasoning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

lifted probabilistic inference (1) knowledge compilation (1) lifted inference (1) first-order logic (1) knowledge representation (1) probabilistic logic (1) probabilistic inference (1)

Papers

On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference NeurIPS 2011