Reasoning

Interactive Robot Transition Repair With SMT IJCAI 2018 Iterative Visual Reasoning Beyond Convolutions CVPR 2018 Junction Tree Variational Autoencoder for Molecular Graph Generation ICML 2018 Learning Equations for Extrapolation and Control ICML 2018 Learning Hierarchical Structures On-The-Fly with a Recurrent-Recursive Model for Sequences ACL 2018 Learning Loop Invariants for Program Verification NeurIPS 2018 Learning to Reason with Third Order Tensor Products NeurIPS 2018 Learning to Solve SMT Formulas NeurIPS 2018 Legal Judgment Prediction via Topological Learning EMNLP 2018 Localizing Moments in Video with Temporal Language EMNLP 2018 Meta-Level Control of Anytime Algorithms with Online Performance Prediction IJCAI 2018 Model-free, Model-based, and General Intelligence IJCAI 2018 Multi-Hop Knowledge Graph Reasoning with Reward Shaping EMNLP 2018 Neural Arithmetic Logic Units NeurIPS 2018 Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving IJCAI 2018 Parameterized hardness of active inference PGM 2018 Pyconstruct: Constraint Programming Meets Structured Prediction IJCAI 2018 Reasoning about Actions and State Changes by Injecting Commonsense Knowledge EMNLP 2018 Reasoning with Sarcasm by Reading In-Between ACL 2018 Regret Minimization for Partially Observable Deep Reinforcement Learning ICML 2018 Reinforcement Learning of Theorem Proving NeurIPS 2018 Relevance in Structured Argumentation IJCAI 2018 Retrieval of the Best Counterargument without Prior Topic Knowledge ACL 2018 SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications EMNLP 2018 Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks IJCAI 2018