← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Learning from Both Structural and Textual Knowledge for Inductive Knowledge Graph Completion NIPS 2023
Second-Order Quantified Boolean Logic AAAI 2023
LoRA: A Logical Reasoning Augmented Dataset for Visual Question Answering NIPS 2023
Memory-Limited Model-Based Diagnosis (Extended Abstract) IJCAI 2023
Relational Program Synthesis with Numerical Reasoning AAAI 2023
Investigating Transformer-Guided Chaining for Interpretable Natural Logic Reasoning ACL 2023
Out-of-Distribution Generalization by Neural-Symbolic Joint Training AAAI 2023
Abstraction for Non-Ground Answer Set Programs (Extended Abstract) IJCAI 2022
OPERA: Operation-Pivoted Discrete Reasoning over Text NAACL 2022
DocTime: A Document-level Temporal Dependency Graph Parser NAACL 2022
Logically Consistent Adversarial Attacks for Soft Theorem Provers IJCAI 2022
Neural-Symbolic Models for Logical Queries on Knowledge Graphs ICML 2022
Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement AAAI 2022
TAG: Learning Timed Automata from Logs AAAI 2022
EPT-X: An Expression-Pointer Transformer model that generates eXplanations for numbers ACL 2022
Modelling Commonsense Properties Using Pre-Trained Bi-Encoders COLING 2022
Inference and Learning with Model Uncertainty in Probabilistic Logic Programs AAAI 2022
ASP-Based Declarative Process Mining AAAI 2022
Using Conditional Independence for Belief Revision AAAI 2022
Towards Unified Representations of Knowledge Graph and Expert Rules for Machine Learning and Reasoning IJCNLP 2022
Fuzzy Logic Based Logical Query Answering on Knowledge Graphs AAAI 2022
E-KAR: A Benchmark for Rationalizing Natural Language Analogical Reasoning ACL 2022
Leveraging Knowledge in Multilingual Commonsense Reasoning ACL 2022
ChartQA: A Benchmark for Question Answering about Charts with Visual and Logical Reasoning ACL 2022
Resolving Inconsistencies in Simple Temporal Problems: A Parameterized Approach AAAI 2022