← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Cautious Rule-Based Collective Inference IJCAI 2019
A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief IJCAI 2019
EQUATE: A Benchmark Evaluation Framework for Quantitative Reasoning in Natural Language Inference CONLL 2019
Compilation of Logical Arguments IJCAI 2019
Generating Discourse Inferences from Unscoped Episodic Logical Formulas ACL 2019
Multimodal Logical Inference System for Visual-Textual Entailment ACL 2019
Interpretable Question Answering on Knowledge Bases and Text ACL 2019
Extracting Common Inference Patterns from Semi-Structured Explanations EMNLP 2019
Annotation of Rhetorical Moves in Biochemistry Articles ACL 2019
Deep Natural Language Understanding of News Text NAACL 2019
Reasoning over Streaming Data in Metric Temporal Datalog AAAI 2019
Relaxing and Restraining Queries for OBDA AAAI 2019
Efficient Concept Induction for Description Logics AAAI 2019
DRUM: End-To-End Differentiable Rule Mining On Knowledge Graphs NIPS 2019
Relating the Structure of a Problem and Its Explanation AAAI 2019
Reasoning Over Paths via Knowledge Base Completion EMNLP 2019
Bringing Order to Chaos – A Compact Representation of Partial Order in SAT-Based HTN Planning AAAI 2019
Reasoning about Actions and State Changes by Injecting Commonsense Knowledge EMNLP 2018
Multi-Relational Question Answering from Narratives: Machine Reading and Reasoning in Simulated Worlds ACL 2018
Bridging Knowledge Gaps in Neural Entailment via Symbolic Models EMNLP 2018
Localizing Moments in Video with Temporal Language EMNLP 2018
Neural Compositional Denotational Semantics for Question Answering EMNLP 2018
Anaphora Resolution for Improving Spatial Relation Extraction from Text NAACL 2018
Learning SMT(LRA) Constraints using SMT Solvers IJCAI 2018
Parameterised Queries and Lifted Query Answering IJCAI 2018