← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

The Candide model: How narratives emerge where observations meet beliefs ACL 2023
Implementing Bounded Revision via Lexicographic Revision and C-revision AAAI 2023
On Undisputed Sets in Abstract Argumentation AAAI 2023
Out-of-Distribution Generalization by Neural-Symbolic Joint Training AAAI 2023
The Proximal ID Algorithm JMLR 2023
Graphix-T5: Mixing Pre-trained Transformers with Graph-Aware Layers for Text-to-SQL Parsing AAAI 2023
A False Sense of Security (Extended Abstract) IJCAI 2023
The Effect of Preferences in Abstract Argumentation under a Claim-Centric View AAAI 2023
A Logic-based Explanation Generation Framework for Classical and Hybrid Planning Problems (Extended Abstract) IJCAI 2023
Abstract Argumentation Framework with Conditional Preferences AAAI 2023
Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers AAAI 2023
NQE: N-ary Query Embedding for Complex Query Answering over Hyper-Relational Knowledge Graphs AAAI 2023
Conditional Syntax Splitting for Non-monotonic Inference Operators AAAI 2023
Memory-Augmented Theory of Mind Network AAAI 2023
Learning Representations of Bi-level Knowledge Graphs for Reasoning beyond Link Prediction AAAI 2023
Neurosymbolic Reasoning and Learning with Restricted Boltzmann Machines AAAI 2023
Learning from Both Structural and Textual Knowledge for Inductive Knowledge Graph Completion NIPS 2023
Complexity of Reasoning with Cardinality Minimality Conditions AAAI 2023
Empirical Investigation of Neural Symbolic Reasoning Strategies EACL 2023
Relational Program Synthesis with Numerical Reasoning AAAI 2023
kogito: A Commonsense Knowledge Inference Toolkit EACL 2023
Inconsistent Cores for ASP: The Perks and Perils of Non-monotonicity AAAI 2023
FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis AAAI 2023
Uncovering Implicit Inferences for Improved Relational Argument Mining EACL 2023
THiFLY Research at SemEval-2023 Task 7: A Multi-granularity System for CTR-based Textual Entailment and Evidence Retrieval SEMEVAL 2023