Reasoning

Action-Model Based Multi-agent Plan Recognition NeurIPS 2012 Causal discovery with scale-mixture model for spatiotemporal variance dependencies NeurIPS 2012 Characterization and Greedy Learning of Interventional Markov Equivalence Classes of Directed Acyclic Graphs JMLR 2012 Guaranteeing High-Level Behaviors while Exploring Partially Known Maps RSS 2012 Human memory search as a random walk in a semantic network NeurIPS 2012 Learning and Model-Checking Networks of I/O Automata ACML 2012 Learning Linear Cyclic Causal Models with Latent Variables JMLR 2012 Learning Networks of Heterogeneous Influence NeurIPS 2012 Learning the Dependency Structure of Latent Factors NeurIPS 2012 Link Prediction in Graphs with Autoregressive Features NeurIPS 2012 On Lifting the Gibbs Sampling Algorithm NeurIPS 2012 Optimal Control with Weighted Average Costs and Temporal Logic Specifications RSS 2012 Recovering Networks from Distance Data ACML 2012 Robust Navigation Execution by Planning in Belief Space RSS 2012 Symbolic Dynamic Programming for Continuous State and Observation POMDPs NeurIPS 2012 Tight Bounds on Proper Equivalence Query Learning of DNF COLT 2012 Trajectory-Based Short-Sighted Probabilistic Planning NeurIPS 2012 Advice Refinement in Knowledge-Based SVMs NeurIPS 2011 An Instantiation-Based Theorem Prover for First-Order Programming AISTATS 2011 A rational model of causal inference with continuous causes NeurIPS 2011 Autonomous Learning of Action Models for Planning NeurIPS 2011 Controlling Wild Bodies Using Linear Temporal Logic RSS 2011 Directed Graph Embedding: an Algorithm based on Continuous Limits of Laplacian-type Operators NeurIPS 2011 Inductive reasoning about chimeric creatures NeurIPS 2011 Inverting Grice's Maxims to Learn Rules from Natural Language Extractions NeurIPS 2011