← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Finite Groundings for ASP with Functions: A Journey through Consistency IJCAI 2024
A New Pipeline for Knowledge Graph Reasoning Enhanced by Large Language Models Without Fine-Tuning EMNLP 2024
Stable Model Semantics for Description Logic Terminologies AAAI 2024
Revisiting Document-Level Relation Extraction with Context-Guided Link Prediction AAAI 2024
Generalisation through Negation and Predicate Invention AAAI 2024
Look before You Leap: Dual Logical Verification for Knowledge-based Visual Question Generation COLING 2024
Computing the Why-Provenance for Datalog Queries via SAT Solvers AAAI 2024
Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation AAAI 2024
Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation AAAI 2024
Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024
What Does a Query Answer Tell You? Informativeness of Query Answers for Knowledge Bases AAAI 2024
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence AAAI 2024
ARIES: A Corpus of Scientific Paper Edits Made in Response to Peer Reviews ACL 2024
Beyond Recognising Entailment: Formalising Natural Language Inference from an Argumentative Perspective ACL 2024
Sequential Model-Based Diagnosis by Systematic Search (Abstract Reprint) AAAI 2024
Exploring Reasoning Biases in Large Language Models Through Syllogism: Insights from the NeuBAROCO Dataset ACL 2024
Logic Rules as Explanations for Legal Case Retrieval COLING 2024
Approximation Algorithms for Preference Aggregation Using CP-Nets AAAI 2024
The Complexity of Computing Robust Mediated Equilibria in Ordinal Games AAAI 2024
Think Before You Simulate: Symbolic Reasoning To Orchestrate Neural Computation for Counterfactual Question Answering WACV 2024
The Logic of Doxastic Strategies AAAI 2024
MediQ: Question-Asking LLMs and a Benchmark for Reliable Interactive Clinical Reasoning NIPS 2024
Modeling Knowledge Graphs with Composite Reasoning AAAI 2024
Learning to Learn in Interactive Constraint Acquisition AAAI 2024
A Foundation Model for Zero-shot Logical Query Reasoning NIPS 2024