← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Perhaps PTLMs Should Go to School – A Task to Assess Open Book and Closed Book QA EMNLP 2021
Think about it! Improving defeasible reasoning by first modeling the question scenario. EMNLP 2021
Neural Unification for Logic Reasoning over Natural Language EMNLP 2021
UniKER: A Unified Framework for Combining Embedding and Definite Horn Rule Reasoning for Knowledge Graph Inference EMNLP 2021
Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks IJCNLP 2021
Event-Centric Natural Language Processing IJCNLP 2021
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning IJCNLP 2021
Discrete Reasoning Templates for Natural Language Understanding EACL 2021
Reasoning with Latent Structure Refinement for Document-Level Relation Extraction ACL 2020
Counting Query Answers over a DL-Lite Knowledge Base IJCAI 2020
A Fully Rational Account of Structured Argumentation Under Resource Bounds IJCAI 2020
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract) IJCAI 2020
Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP (Extended Abstract) IJCAI 2020
GenC: A Fast Tool for Applications Involving Belief Revision IJCAI 2020
Deep Weighted MaxSAT for Aspect-based Opinion Extraction EMNLP 2020
Machine Reasoning: Technology, Dilemma and Future EMNLP 2020
Faithful Embeddings for Knowledge Base Queries NIPS 2020
Leap-Of-Thought: Teaching Pre-Trained Models to Systematically Reason Over Implicit Knowledge NIPS 2020
Assessing SATNet's Ability to Solve the Symbol Grounding Problem NIPS 2020
Probabilistic Case-based Reasoning for Open-World Knowledge Graph Completion EMNLP 2020
Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators IJCAI 2020
Deeply Embedded Knowledge Representation & Reasoning For Natural Language Question Answering: A Practitioner’s Perspective EMNLP 2020
Are Pretrained Language Models Symbolic Reasoners over Knowledge? EMNLP 2020
Answering Counting Queries over DL-Lite Ontologies IJCAI 2020
A Survey on Temporal Reasoning for Temporal Information Extraction from Text (Extended Abstract) IJCAI 2020