Automated Reasoning

A Graphical Transformation for Belief Propagation: Maximum Weight Matchings and Odd-Sized Cycles NeurIPS 2013 Bridging the Gap Between Refinement and Heuristics in Abstraction IJCAI 2013 Discovering Hidden Variables in Noisy-Or Networks using Quartet Tests NeurIPS 2013 Discovering the Structure of a Planar Mirror System from Multiple Observations of a Single Point CVPR 2013 First-order Decomposition Trees NeurIPS 2013 Message Passing Inference with Chemical Reaction Networks NeurIPS 2013 On the Complexity and Approximation of Binary Evidence in Lifted Inference NeurIPS 2013 Reasoning With Neural Tensor Networks for Knowledge Base Completion NeurIPS 2013 Learning and Model-Checking Networks of I/O Automata ACML 2012 On Lifting the Gibbs Sampling Algorithm NeurIPS 2012 Tight Bounds on Proper Equivalence Query Learning of DNF COLT 2012 Advice Refinement in Knowledge-Based SVMs NeurIPS 2011 An Instantiation-Based Theorem Prover for First-Order Programming AISTATS 2011 Inverting Grice's Maxims to Learn Rules from Natural Language Extractions NeurIPS 2011 On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference NeurIPS 2011 Solving Decision Problems with Limited Information NeurIPS 2011 Efficient Relational Learning with Hidden Variable Detection NeurIPS 2010 Lifted Inference Seen from the Other Side : The Tractable Features NeurIPS 2010 PLISS: Detecting and Labeling Places Using Online Change-Point Detection RSS 2010 Causal Reasoning with Ancestral Graphs JMLR 2008 Finding Latent Causes in Causal Networks: an Efficient Approach Based on Markov Blankets NeurIPS 2008 Incremental Identification of Qualitative Models of Biological Systems using Inductive Logic Programming JMLR 2008 Interpreting the neural code with Formal Concept Analysis NeurIPS 2008 An Analysis of Convex Relaxations for MAP Estimation NeurIPS 2007 Integrating Naïve Bayes and FOIL JMLR 2007