← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

DeepPath: A Reinforcement Learning Method for Knowledge Graph Reasoning EMNLP 2017
Conflict-driven ASP Solving with External Sources and Program Splits IJCAI 2017
Agent Design Consistency Checking via Planning IJCAI 2017
Context-Based Reasoning on Privacy in Internet of Things IJCAI 2017
Ontology-Mediated Query Answering for Key-Value Stores IJCAI 2017
Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction IJCAI 2017
End-to-end Differentiable Proving NIPS 2017
Lazy-Grounding for Answer Set Programs with External Source Access IJCAI 2017
Reformulating Queries: Theory and Practice IJCAI 2017
Computer Models Solving Intelligence Test Problems: Progress and Implications (Extended Abstract) IJCAI 2017
How to Keep a Knowledge Base Synchronized with Its Encyclopedia Source IJCAI 2017
Decisions and Dependence in Influence Diagrams PGM 2016
An Integer Polynomial Programming Based Framework for Lifted MAP Inference NIPS 2014
New Rules for Domain Independent Lifted MAP Inference NIPS 2014
Scaling-up Importance Sampling for Markov Logic Networks NIPS 2014
Discovering the Structure of a Planar Mirror System from Multiple Observations of a Single Point CVPR 2013
A Graphical Transformation for Belief Propagation: Maximum Weight Matchings and Odd-Sized Cycles NIPS 2013
Bridging the Gap Between Refinement and Heuristics in Abstraction IJCAI 2013
Message Passing Inference with Chemical Reaction Networks NIPS 2013
Discovering Hidden Variables in Noisy-Or Networks using Quartet Tests NIPS 2013
First-order Decomposition Trees NIPS 2013
Reasoning With Neural Tensor Networks for Knowledge Base Completion NIPS 2013
Learning and Model-Checking Networks of I/O Automata ACML 2012
Tight Bounds on Proper Equivalence Query Learning of DNF COLT 2012
On Lifting the Gibbs Sampling Algorithm NIPS 2012