← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

On Measuring Inconsistency in Graph Databases with Regular Path Constraints (Abstract Reprint) IJCAI 2025
Decoding on Graphs: Faithful and Sound Reasoning on Knowledge Graphs through Generation of Well-Formed Chains ACL 2025
Non-expansive Fuzzy ALC IJCAI 2025
LTRAG: Enhancing Autoformalization and Self-refinement for Logical Reasoning with Thought-Guided RAG ACL 2025
Mining Complex Patterns of Argumentative Reasoning in Natural Language Dialogue ACL 2025
Correcting on Graph: Faithful Semantic Parsing over Knowledge Graphs with Large Language Models ACL 2025
Robustness in Single-Audience Value-based Abstract Argumentation: Complexity Results IJCAI 2025
Breaking the Reasoning Barrier A Survey on LLM Complex Reasoning through the Lens of Self-Evolution ACL 2025
FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network IJCAI 2025
IDEA: Enhancing the Rule Learning Ability of Large Language Model Agent through Induction, Deduction, and Abduction ACL 2025
NeSyA: Neurosymbolic Automata IJCAI 2025
KARPA: A Training-free Method of Adapting Knowledge Graph as References for Large Language Model’s Reasoning Path Aggregation ACL 2025
Checking Consistency of CP-Theory Preferences in Polynomial Time AAAI 2025
Enhancing Complex Reasoning in Knowledge Graph Question Answering through Query Graph Approximation ACL 2025
Walk Wisely on Graph: Knowledge Graph Reasoning with Dual Agents via Efficient Guidance-Exploration AAAI 2025
Consistent Query Answering over Existential Rules with Open and Closed Predicates AAAI 2025
Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans AAAI 2025
A Variable Occurrence-Centric Framework for Inconsistency Handling AAAI 2025
Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases AAAI 2025
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence AAAI 2025
An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation AAAI 2025
Hybrid Reasoning About Relative Position and Orientation of Objects and Navigating Agents Using Answer Set Programming AAAI 2025
Reasoning About Actual Causes in Nondeterministic Domains AAAI 2025
An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships AAAI 2025
Minimal Evidence Group Identification for Claim Verification NAACL 2025