← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

An Axiomatic Approach to Revising Preferences AAAI 2022
Knowledge Compilation Meets Logical Separability AAAI 2022
Interactive Symbol Grounding with Complex Referential Expressions NAACL 2022
FACT: Learning Governing Abstractions Behind Integer Sequences NIPS 2022
Complex Video Action Reasoning via Learnable Markov Logic Network CVPR 2022
Natural Language Deduction through Search over Statement Compositions EMNLP 2022
SYGMA: A System for Generalizable and Modular Question Answering Over Knowledge Bases EMNLP 2022
Inductive Logical Query Answering in Knowledge Graphs NIPS 2022
LogicNMR: Probing the Non-monotonic Reasoning Ability of Pre-trained Language Models EMNLP 2022
Logical Form Generation via Multi-task Learning for Complex Question Answering over Knowledge Bases COLING 2022
Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae AAAI 2022
Life is a Circus and We are the Clowns: Automatically Finding Analogies between Situations and Processes EMNLP 2022
EvEntS ReaLM: Event Reasoning of Entity States via Language Models EMNLP 2022
System 1 + System 2 = Better World: Neural-Symbolic Chain of Logic Reasoning EMNLP 2022
EPT-X: An Expression-Pointer Transformer model that generates eXplanations for numbers ACL 2022
SemEval 2022 Task 12: Symlink - Linking Mathematical Symbols to their Descriptions NAACL 2022
Characterizing the Program Expressive Power of Existential Rule Languages AAAI 2022
Entailer: Answering Questions with Faithful and Truthful Chains of Reasoning EMNLP 2022
First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics AAAI 2022
Finite Entailment of Local Queries in the Z Family of Description Logics AAAI 2022
Semantic Framework based Query Generation for Temporal Question Answering over Knowledge Graphs EMNLP 2022
Locate Then Ask: Interpretable Stepwise Reasoning for Multi-hop Question Answering COLING 2022
TextGraphs 2022 Shared Task on Natural Language Premise Selection COLING 2022
Weakly Supervised Neural Symbolic Learning for Cognitive Tasks AAAI 2022
On Paraconsistent Belief Revision in LP AAAI 2022