← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

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