Automated Reasoning

Agent Design Consistency Checking via Planning IJCAI 2017 Answering Complex Questions Using Open Information Extraction ACL 2017 Answering Conjunctive Regular Path Queries over Guarded Existential Rules IJCAI 2017 A Random Model for Argumentation Framework: Phase Transitions, Empirical Hardness, and Heuristics IJCAI 2017 A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem IJCAI 2017 Belief Change in a Preferential Non-monotonic Framework IJCAI 2017 Capturing Long-range Contextual Dependencies with Memory-enhanced Conditional Random Fields IJCNLP 2017 Chains of Reasoning over Entities, Relations, and Text using Recurrent Neural Networks EACL 2017 Computer Models Solving Intelligence Test Problems: Progress and Implications (Extended Abstract) IJCAI 2017 Conflict-driven ASP Solving with External Sources and Program Splits IJCAI 2017 Context-Based Reasoning on Privacy in Internet of Things IJCAI 2017 Deep Neural Network based system for solving Arithmetic Word problems IJCNLP 2017 DeepPath: A Reinforcement Learning Method for Knowledge Graph Reasoning EMNLP 2017 Differentiable Learning of Logical Rules for Knowledge Base Reasoning NeurIPS 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 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 Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract) IJCAI 2017 Guess What: A Question Answering Game via On-demand Knowledge Validation IJCNLP 2017 How to Keep a Knowledge Base Synchronized with Its Encyclopedia Source IJCAI 2017 Know-Evolve: Deep Temporal Reasoning for Dynamic Knowledge Graphs ICML 2017 Lazy-Grounding for Answer Set Programs with External Source Access IJCAI 2017 Learning MSO-definable hypotheses on strings ALT 2017