← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

HW-TSC at SemEval-2024 Task 5: Self-Eval? A Confident LLM System for Auto Prediction and Evaluation for the Legal Argument Reasoning Task SEMEVAL 2024
Using Symmetries to Lift Satisfiability Checking AAAI 2024
Membership Testing in Markov Equivalence Classes via Independence Queries AISTATS 2024
MediQ: Question-Asking LLMs and a Benchmark for Reliable Interactive Clinical Reasoning NIPS 2024
Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae AAAI 2024
Semantics for Non-Flat Assumption-Based Argumentation, Revisited IJCAI 2024
NALA: an Effective and Interpretable Entity Alignment Method EMNLP 2024
Complex Reasoning over Logical Queries on Commonsense Knowledge Graphs ACL 2024
Proving Olympiad Algebraic Inequalities without Human Demonstrations NIPS 2024
CNEQ: Incorporating numbers into Knowledge Graph Reasoning EMNLP 2024
A Foundation Model for Zero-shot Logical Query Reasoning NIPS 2024
Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting IJCAI 2024
PyClause - Simple and Efficient Rule Handling for Knowledge Graphs IJCAI 2024
Think Before You Simulate: Symbolic Reasoning To Orchestrate Neural Computation for Counterfactual Question Answering WACV 2024
Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation IJCAI 2024
Finite Groundings for ASP with Functions: A Journey through Consistency IJCAI 2024
Temporal Inductive Logic Reasoning over Hypergraphs IJCAI 2024
Call Me When Necessary: LLMs can Efficiently and Faithfully Reason over Structured Environments ACL 2024
Deep Equilibrium Algorithmic Reasoning NIPS 2024
LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models EMNLP 2024
Efficient and Accurate Contextual Re-Ranking for Knowledge Graph Question Answering COLING 2024
Quantitative Reasoning over Incomplete Abstract Argumentation Frameworks IJCAI 2024
Anchoring Path for Inductive Relation Prediction in Knowledge Graphs AAAI 2024
From Statistical Relational to Neuro-Symbolic Artificial Intelligence AAAI 2024
Learning Logic Programs by Discovering Higher-Order Abstractions IJCAI 2024