Automated Reasoning

Ontology-Guided Reverse Thinking Makes Large Language Models Stronger on Knowledge Graph Question Answering ACL 2025 Parallel Belief Contraction via Order Aggregation IJCAI 2025 Performance and Limitations of Fine-Tuned LLMs in SPARQL Query Generation COLING 2025 Progressive Prefix-Memory Tuning for Complex Logical Query Answering on Knowledge Graphs IJCAI 2025 Reasoning About Actual Causes in Nondeterministic Domains AAAI 2025 Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference ACL 2025 Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence AAAI 2025 Relational Neurosymbolic Markov Models AAAI 2025 Re-ranking Reasoning Context with Tree Search Makes Large Vision-Language Models Stronger ICML 2025 Responsibility Anticipation and Attribution in LTLf IJCAI 2025 Robustness in Single-Audience Value-based Abstract Argumentation: Complexity Results IJCAI 2025 RTQA : Recursive Thinking for Complex Temporal Knowledge Graph Question Answering with Large Language Models EMNLP 2025 RuleArena: A Benchmark for Rule-Guided Reasoning with LLMs in Real-World Scenarios ACL 2025 Rule-Guided Graph Neural Networks for Explainable Knowledge Graph Reasoning AAAI 2025 SKRAG: A Retrieval-Augmented Generation Framework Guided by Reasoning Skeletons over Knowledge Graphs EMNLP 2025 Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits ICML 2025 Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025 Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025 SR-FoT: A Syllogistic-Reasoning Framework of Thought for Large Language Models Tackling Knowledge-based Reasoning Tasks AAAI 2025 Stress-Testing the Reasoning Competence of Language Models With Formal Proofs EMNLP 2025 Structure Is All You Need: Structural Representation Learning on Hyper-Relational Knowledge Graphs ICML 2025 SwiLTra-Bench: The Swiss Legal Translation Benchmark ACL 2025 Temporal Conjunctive Query Answering via Rewriting AAAI 2025 Testing Causal Models with Hidden Variables in Polynomial Delay via Conditional Independencies AAAI 2025 Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans AAAI 2025