← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

2-ASP(Q) Solving Based on CEGAR AAAI 2026
A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint) AAAI 2026
An Epistemic Perspective on Agent Awareness AAAI 2026
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae AAAI 2026
Convergent Semantics for Weighted Bipolar Argumentation AAAI 2026
I-CAM-UV: Integrating Causal Graphs over Non-Identical Variable Sets Using Causal Additive Models with Unobserved Variables AAAI 2026
Self-Supervised Inductive Logic Programming AAAI 2026
An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships AAAI 2025
Hybrid Reasoning About Relative Position and Orientation of Objects and Navigating Agents Using Answer Set Programming AAAI 2025
Consistent Query Answering over Existential Rules with Open and Closed Predicates AAAI 2025
An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation AAAI 2025
Enhancing Complex Reasoning in Knowledge Graph Question Answering through Query Graph Approximation ACL 2025
From Chain to Tree: Refining Chain-like Rules into Tree-like Rules on Knowledge Graphs COLING 2025
Reasoning About Actual Causes in Nondeterministic Domains AAAI 2025
Correcting on Graph: Faithful Semantic Parsing over Knowledge Graphs with Large Language Models ACL 2025
KARPA: A Training-free Method of Adapting Knowledge Graph as References for Large Language Model’s Reasoning Path Aggregation ACL 2025
Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases AAAI 2025
SwiLTra-Bench: The Swiss Legal Translation Benchmark ACL 2025
iQUEST: An Iterative Question-Guided Framework for Knowledge Base Question Answering ACL 2025
Logic-Regularized Verifier Elicits Reasoning from LLMs ACL 2025
LTRAG: Enhancing Autoformalization and Self-refinement for Logical Reasoning with Thought-Guided RAG ACL 2025
Decoding on Graphs: Faithful and Sound Reasoning on Knowledge Graphs through Generation of Well-Formed Chains ACL 2025
IDEA: Enhancing the Rule Learning Ability of Large Language Model Agent through Induction, Deduction, and Abduction ACL 2025
Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning IJCNLP 2025
LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning ACL 2025