← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Reasoning over Argument-Incomplete AAFs in the Presence of Correlations IJCAI 2021
Neural-Symbolic Commonsense Reasoner with Relation Predictors ACL 2021
Bayesian Argumentation-Scheme Networks: A Probabilistic Model of Argument Validity Facilitated by Argumentation Schemes EMNLP 2021
Strong Explanations in Abstract Argumentation AAAI 2021
Is Multi-Hop Reasoning Really Explainable? Towards Benchmarking Reasoning Interpretability EMNLP 2021
Conversational Neuro-Symbolic Commonsense Reasoning AAAI 2021
Addressing Semantic Drift in Generative Question Answering with Auxiliary Extraction ACL 2021
Diagnosing the First-Order Logical Reasoning Ability Through LogicNLI EMNLP 2021
Constraint-Driven Learning of Logic Programs AAAI 2021
A Semantic Parsing and Reasoning-Based Approach to Knowledge Base Question Answering AAAI 2021
On Cycles, Attackers and Supporters --- A Contribution to The Investigation of Dynamics in Abstract Argumentation IJCAI 2021
Reasoning About Agents That May Know Other Agents’ Strategies IJCAI 2021
Cardinality Queries over DL-Lite Ontologies IJCAI 2021
Abstract Argumentation Frameworks with Domain Assignments IJCAI 2021
Politeness for the Theory of Algebraic Datatypes (Extended Abstract) IJCAI 2021
GraphMR: Graph Neural Network for Mathematical Reasoning EMNLP 2021
Team Papelo at FEVEROUS: Multi-hop Evidence Pursuit EMNLP 2021
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning ACL 2021
How much coffee was consumed during EMNLP 2019? Fermi Problems: A New Reasoning Challenge for AI EMNLP 2021
Abductive Learning with Ground Knowledge Base IJCAI 2021
Leveraging Language to Learn Program Abstractions and Search Heuristics ICML 2021
ExplaGraphs: An Explanation Graph Generation Task for Structured Commonsense Reasoning EMNLP 2021
Temporal and Object Quantification Networks IJCAI 2021
Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions IJCAI 2021
Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks ACL 2021