conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

843 papers

Papers per year

3
83
118
'10
'20
'25

Papers

2-ASP(Q) Solving Based on CEGAR AAAI 2026
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae AAAI 2026
Self-Supervised Inductive Logic Programming AAAI 2026
Convergent Semantics for Weighted Bipolar Argumentation AAAI 2026
I-CAM-UV: Integrating Causal Graphs over Non-Identical Variable Sets Using Causal Additive Models with Unobserved Variables AAAI 2026
An Epistemic Perspective on Agent Awareness AAAI 2026
A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint) AAAI 2026
CoG: Controllable Graph Reasoning via Relational Blueprints and Failure-Aware Refinement over Knowledge Graphs ACL 2026
Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions ACL 2026
LOGICAL-COMMONSENSEQA: A Benchmark for Logical Commonsense Reasoning ACL 2026
Rule-Guided Graph Neural Networks for Explainable Knowledge Graph Reasoning AAAI 2025
Walk Wisely on Graph: Knowledge Graph Reasoning with Dual Agents via Efficient Guidance-Exploration AAAI 2025
Uncommon Belief in Rationality AAAI 2025
CognTKE: A Cognitive Temporal Knowledge Extrapolation Framework AAAI 2025
Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases AAAI 2025
A Computationally Grounded Framework for Cognitive Attitudes AAAI 2025
Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence AAAI 2025
A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus 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
A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity 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
On Action Theories with Iterable First-Order Progression AAAI 2025