Reasoning

Deep Neural Network based system for solving Arithmetic Word problems IJCNLP 2017 DeepPath: A Reinforcement Learning Method for Knowledge Graph Reasoning EMNLP 2017 Detecting and Explaining Causes From Text For a Time Series Event EMNLP 2017 Determining Semantic Textual Similarity using Natural Deduction Proofs EMNLP 2017 Differentiable Learning of Logical Rules for Knowledge Base Reasoning NeurIPS 2017 Discovering Causal Signals in Images CVPR 2017 Efficient and Complete FD-solving for extended array constraints IJCAI 2017 Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction IJCAI 2017 Efficient, Safe, and Probably Approximately Complete Learning of Action Models IJCAI 2017 Enabling Transitivity for Lexical Inference on Chinese Verbs Using Probabilistic Soft Logic IJCNLP 2017 End-to-end Differentiable Proving NeurIPS 2017 End-to-end Relation Extraction using Neural Networks and Markov Logic Networks EACL 2017 Estimating individual treatment effect: generalization bounds and algorithms ICML 2017 Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract) IJCAI 2017 Faithfulness of Probability Distributions and Graphs JMLR 2017 Faster Conflict Generation for Dynamic Controllability IJCAI 2017 Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints IJCAI 2017 Guess What: A Question Answering Game via On-demand Knowledge Validation IJCNLP 2017 Handling non-local dead-ends in Agent Planning Programs IJCAI 2017 Hierarchical Task Network Planning with Task Insertion and State Constraints IJCAI 2017 How to Keep a Knowledge Base Synchronized with Its Encyclopedia Source IJCAI 2017 Iterative Entity Alignment via Joint Knowledge Embeddings IJCAI 2017 Know-Evolve: Deep Temporal Reasoning for Dynamic Knowledge Graphs ICML 2017 KSP: A Resolution-based Prover for Multimodal K, Abridged Report IJCAI 2017 Landmarks for Numeric Planning Problems IJCAI 2017