conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

843 papers

Papers per year

3
83
118
'10
'20
'25

Papers

On Lifting the Gibbs Sampling Algorithm NIPS 2012
Learning and Model-Checking Networks of I/O Automata ACML 2012
Tight Bounds on Proper Equivalence Query Learning of DNF COLT 2012
On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference NIPS 2011
Inverting Grice's Maxims to Learn Rules from Natural Language Extractions NIPS 2011
Advice Refinement in Knowledge-Based SVMs NIPS 2011
Solving Decision Problems with Limited Information NIPS 2011
An Instantiation-Based Theorem Prover for First-Order Programming AISTATS 2011
Lifted Inference Seen from the Other Side : The Tractable Features NIPS 2010
Efficient Relational Learning with Hidden Variable Detection NIPS 2010
PLISS: Detecting and Labeling Places Using Online Change-Point Detection RSS 2010
Finding Latent Causes in Causal Networks: an Efficient Approach Based on Markov Blankets NIPS 2008
Interpreting the neural code with Formal Concept Analysis NIPS 2008
Causal Reasoning with Ancestral Graphs JMLR 2008
Incremental Identification of Qualitative Models of Biological Systems using Inductive Logic Programming JMLR 2008
An Analysis of Convex Relaxations for MAP Estimation NIPS 2007
Learning and using relational theories NIPS 2007
Integrating Naïve Bayes and FOIL JMLR 2007