Co-occurring keywords · papers mentioning both
Papers
Parameterised Queries and Lifted Query Answering
IJCAI 2018
Coarse-to-Fine Lifted MAP Inference in Computer Vision
IJCAI 2017
Efficient Inference for Untied MLNs
IJCAI 2017
Non-Count Symmetries in Boolean & Multi-Valued Prob. Graphical Models
AISTATS 2017
New Liftable Classes for First-Order Probabilistic Inference
NeurIPS 2016
Bounding the Cost of Search-Based Lifted Inference
NeurIPS 2015
Fast Lifted MAP Inference via Partitioning
NeurIPS 2015
Lifted Inference Rules With Constraints
NeurIPS 2015
Lifted Symmetry Detection and Breaking for MAP Inference
NeurIPS 2015
An Integer Polynomial Programming Based Framework for Lifted MAP Inference
NeurIPS 2014
Lifted MAP Inference for Markov Logic Networks
AISTATS 2014
New Rules for Domain Independent Lifted MAP Inference
NeurIPS 2014
Scaling-up Importance Sampling for Markov Logic Networks
NeurIPS 2014
Completeness Results for Lifted Variable Elimination
AISTATS 2013
First-order Decomposition Trees
NeurIPS 2013
On the Complexity and Approximation of Binary Evidence in Lifted Inference
NeurIPS 2013
Lifted Linear Programming
AISTATS 2012
Lifted Variable Elimination with Arbitrary Constraints
AISTATS 2012
On Lifting the Gibbs Sampling Algorithm
NeurIPS 2012
An Instantiation-Based Theorem Prover for First-Order Programming
AISTATS 2011
On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference
NeurIPS 2011
Lifted Inference Seen from the Other Side : The Tractable Features
NeurIPS 2010