← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

OPERA: Operation-Pivoted Discrete Reasoning over Text NAACL 2022
KG-CRuSE: Recurrent Walks over Knowledge Graph for Explainable Conversation Reasoning using Semantic Embeddings ACL 2022
CURIE: An Iterative Querying Approach for Reasoning About Situations ACL 2022
Fuzzy Logic Based Logical Query Answering on Knowledge Graphs AAAI 2022
Neural-Symbolic Models for Logical Queries on Knowledge Graphs ICML 2022
Compilation of Aggregates in ASP Systems AAAI 2022
Fact-Tree Reasoning for N-ary Question Answering over Knowledge Graphs ACL 2022
Neural-Symbolic Entangled Framework for Complex Query Answering NIPS 2022
On the Learning Mechanisms in Physical Reasoning NIPS 2022
Case-Based Abductive Natural Language Inference COLING 2022
Solving Quantitative Reasoning Problems with Language Models NIPS 2022
DCT-Centered Temporal Relation Extraction COLING 2022
ApproxASP – a Scalable Approximate Answer Set Counter AAAI 2022
Towards Unified Representations of Knowledge Graph and Expert Rules for Machine Learning and Reasoning IJCNLP 2022
Ruleformer: Context-aware Rule Mining over Knowledge Graph COLING 2022
Logically Consistent Adversarial Attacks for Soft Theorem Provers IJCAI 2022
Uni-Parser: Unified Semantic Parser for Question Answering on Knowledge Base and Database EMNLP 2022
KGI: An Integrated Framework for Knowledge Intensive Language Tasks EMNLP 2022
Interpretable Proof Generation via Iterative Backward Reasoning NAACL 2022
Dynamic Multistep Reasoning based on Video Scene Graph for Video Question Answering NAACL 2022
TLogic: Temporal Logical Rules for Explainable Link Forecasting on Temporal Knowledge Graphs AAAI 2022
A Calculus for Computing Structured Justifications for Election Outcomes AAAI 2022
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard AAAI 2022
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic AAAI 2022
Rushing and Strolling among Answer Sets – Navigation Made Easy AAAI 2022