conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

843 papers

Papers per year

3
83
118
'10
'20
'25

Papers

Dung’s Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases AAAI 2025
Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025
Consistent Query Answering over Existential Rules with Open and Closed Predicates AAAI 2025
A Logical Analysis of Hanabi AAAI 2025
Checking Consistency of CP-Theory Preferences in Polynomial Time AAAI 2025
A Variable Occurrence-Centric Framework for Inconsistency Handling AAAI 2025
SR-FoT: A Syllogistic-Reasoning Framework of Thought for Large Language Models Tackling Knowledge-based Reasoning Tasks AAAI 2025
Goal-Driven Reasoning in DatalogMTL with Magic Sets AAAI 2025
Temporal Conjunctive Query Answering via Rewriting AAAI 2025
Generating Counterfactual Explanations Under Temporal Constraints AAAI 2025
Relational Neurosymbolic Markov Models AAAI 2025
LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions 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
Testing Causal Models with Hidden Variables in Polynomial Delay via Conditional Independencies AAAI 2025
An Expert System for Danish Traffic Law Cases (Student Abstract) AAAI 2025
Cascaded Information Disclosure for Generalized Evaluation of Problem Solving Capabilities AACL 2025
RuleArena: A Benchmark for Rule-Guided Reasoning with LLMs in Real-World Scenarios ACL 2025
Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework ACL 2025
Enhancing Transformers for Generalizable First-Order Logical Entailment ACL 2025
Entailment-Preserving First-order Logic Representations in Natural Language Entailment ACL 2025
LegalReasoner: Step-wised Verification-Correction for Legal Judgment Reasoning ACL 2025
Mining Complex Patterns of Argumentative Reasoning in Natural Language Dialogue ACL 2025
KG-Agent: An Efficient Autonomous Agent Framework for Complex Reasoning over Knowledge Graph ACL 2025
ARise: Towards Knowledge-Augmented Reasoning via Risk-Adaptive Search ACL 2025