Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae AAAI 2024

Coconut: Contextualized Commonsense Unified Transformers for Graph-Based Commonsense Augmentation of Language Models ACL 2024

Logic Rules as Explanations for Legal Case Retrieval COLING 2024

Efficient and Accurate Contextual Re-Ranking for Knowledge Graph Question Answering COLING 2024

Anchoring Path for Inductive Relation Prediction in Knowledge Graphs AAAI 2024

Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024

JellyBell at TextGraphs-17 Shared Task: Fusing Large Language Models with External Knowledge for Enhanced Question Answering ACL 2024

From Statistical Relational to Neuro-Symbolic Artificial Intelligence AAAI 2024

Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning AAAI 2024

Auto311: A Confidence-Guided Automated System for Non-emergency Calls AAAI 2024

Safe Abductive Learning in the Presence of Inaccurate Rules AAAI 2024

TEILP: Time Prediction over Knowledge Graphs via Logical Reasoning AAAI 2024

What Do Hebbian Learners Learn? Reduction Axioms for Iterated Hebbian Learning AAAI 2024

Delivering Inflated Explanations AAAI 2024

Towards Multi-Relational Multi-Hop Reasoning over Dense Temporal Knowledge Graphs ACL 2024

Bilateral Gradual Semantics for Weighted Argumentation AAAI 2024

Improving Multi-hop Logical Reasoning in Knowledge Graphs with Context-Aware Query Representation Learning ACL 2024

Non-flat ABA Is an Instance of Bipolar Argumentation AAAI 2024

Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming AAAI 2024

Semantics for Non-Flat Assumption-Based Argumentation, Revisited IJCAI 2024

INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems AAAI 2024

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving AAAI 2024

Optimised Storage for Datalog Reasoning AAAI 2024

Exploring Reasoning Biases in Large Language Models Through Syllogism: Insights from the NeuBAROCO Dataset ACL 2024

Chaining Event Spans for Temporal Relation Grounding EACL 2024