← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions AAAI 2025
LegalReasoner: Step-wised Verification-Correction for Legal Judgment Reasoning ACL 2025
CognTKE: A Cognitive Temporal Knowledge Extrapolation Framework AAAI 2025
Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 JMLR 2025
Logical Table-to-Text Generation: Challenges, Methods, and Reasoning IJCNLP 2025
These Aren’t the Vectors You’re Looking For: A Proof of Quantum Advantage in Compositional Generalization IJCNLP 2025
Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning IJCNLP 2025
Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework ACL 2025
KG-Agent: An Efficient Autonomous Agent Framework for Complex Reasoning over Knowledge Graph ACL 2025
MedEx: Enhancing Medical Question-Answering with First-Order Logic based Reasoning and Knowledge Injection COLING 2025
Minimal Evidence Group Identification for Claim Verification NAACL 2025
A Human-LLM Note-Taking System with Case-Based Reasoning as Framework for Scientific Discovery NAACL 2025
Building Data-Driven Occupation Taxonomies: A Bottom-Up Multi-Stage Approach via Semantic Clustering and Multi-Agent Collaboration EMNLP 2025
Consistent Query Answering over Existential Rules with Open and Closed Predicates AAAI 2025
Ontology-Guided Reverse Thinking Makes Large Language Models Stronger on Knowledge Graph Question Answering ACL 2025
A Variable Occurrence-Centric Framework for Inconsistency Handling AAAI 2025
Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans AAAI 2025
Counting and Reasoning with Plans AAAI 2025
Non-expansive Fuzzy ALC IJCAI 2025
Mining Complex Patterns of Argumentative Reasoning in Natural Language Dialogue ACL 2025
Robustness in Single-Audience Value-based Abstract Argumentation: Complexity Results IJCAI 2025
A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity AAAI 2025
Relational Neurosymbolic Markov Models AAAI 2025
A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation IJCAI 2025
Generating Commonsense Reasoning Questions with Controllable Complexity through Multi-step Structural Composition COLING 2025