first-order logic

Lifted MAP Inference for Markov Logic Networks AISTATS 2014 New Rules for Domain Independent Lifted MAP Inference NeurIPS 2014 Robust RegBayes: Selectively Incorporating First-Order Logic Domain Knowledge into Bayesian Models ICML 2014 Scaling-up Importance Sampling for Markov Logic Networks NeurIPS 2014 First-order Decomposition Trees NeurIPS 2013 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 Incremental Identification of Qualitative Models of Biological Systems using Inductive Logic Programming JMLR 2008 Using matrices to model symbolic relationship NeurIPS 2008 Learning Horn Expressions with LOGAN-H JMLR 2007 Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting JMLR 2006