Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases AAAI 2025

An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships AAAI 2025

Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning IJCNLP 2025

Testing Causal Models with Hidden Variables in Polynomial Delay via Conditional Independencies AAAI 2025

CognTKE: A Cognitive Temporal Knowledge Extrapolation Framework AAAI 2025

Progressive Prefix-Memory Tuning for Complex Logical Query Answering on Knowledge Graphs IJCAI 2025

Performance and Limitations of Fine-Tuned LLMs in SPARQL Query Generation COLING 2025

From Chain to Tree: Refining Chain-like Rules into Tree-like Rules on Knowledge Graphs COLING 2025

Robustness in Single-Audience Value-based Abstract Argumentation: Complexity Results IJCAI 2025

Iterated Belief Change as Learning IJCAI 2025

FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network IJCAI 2025

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge IJCAI 2025

Memory-augmented Query Reconstruction for LLM-based Knowledge Graph Reasoning ACL 2025

RuleArena: A Benchmark for Rule-Guided Reasoning with LLMs in Real-World Scenarios ACL 2025

Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans AAAI 2025

Mining Complex Patterns of Argumentative Reasoning in Natural Language Dialogue ACL 2025

SwiLTra-Bench: The Swiss Legal Translation Benchmark ACL 2025

Ontology-Guided Reverse Thinking Makes Large Language Models Stronger on Knowledge Graph Question Answering ACL 2025

LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning ACL 2025

Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference ACL 2025

Logic-Regularized Verifier Elicits Reasoning from LLMs ACL 2025

Consistent Query Answering over Existential Rules with Open and Closed Predicates AAAI 2025

LA²I²F at SemEval-2025 Task 5: Reasoning in Embedding Space – Fusing Analogical and Ontology-based Reasoning for Document Subject Tagging ACL 2025

MASA: LLM-Driven Multi-Agent Systems for Autoformalization EMNLP 2025

Minimal Evidence Group Identification for Claim Verification NAACL 2025