conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

843 papers

Papers per year

3
83
118
'10
'20
'25

Papers

Progressive Prefix-Memory Tuning for Complex Logical Query Answering on Knowledge Graphs IJCAI 2025
Featured Argumentation Framework: Semantics and Complexity IJCAI 2025
Parallel Belief Contraction via Order Aggregation IJCAI 2025
A Sequent Calculus for Answer Set Entailment IJCAI 2025
Robustness in Single-Audience Value-based Abstract Argumentation: Complexity Results IJCAI 2025
Facets in Argumentation: A Formal Approach to Argument Significance IJCAI 2025
Non-expansive Fuzzy ALC IJCAI 2025
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics IJCAI 2025
Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers IJCAI 2025
Iterated Belief Change as Learning IJCAI 2025
Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques IJCAI 2025
Witnesses for Answer Sets of Basic Logic Programs 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
NeSyA: Neurosymbolic Automata IJCAI 2025
Contractions Based on Optimal Repairs (Extended Abstract) IJCAI 2025
On Measuring Inconsistency in Graph Databases with Regular Path Constraints (Abstract Reprint) IJCAI 2025
ASP Chef Chats with Large Language Models IJCAI 2025
Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning IJCNLP 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
Categorical Semantics of Compositional Reinforcement Learning JMLR 2025
Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 JMLR 2025
Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs NAACL 2025
GraphEval36K: Benchmarking Coding and Reasoning Capabilities of Large Language Models on Graph Datasets NAACL 2025