← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024
A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming AAAI 2024
LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models EMNLP 2024
INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems AAAI 2024
Formal Logic Enabled Personalized Federated Learning through Property Inference AAAI 2024
BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving AAAI 2024
Chaining Event Spans for Temporal Relation Grounding EACL 2024
ARIES: A Corpus of Scientific Paper Edits Made in Response to Peer Reviews ACL 2024
Auto311: A Confidence-Guided Automated System for Non-emergency Calls AAAI 2024
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning AAAI 2024
Tree-of-Traversals: A Zero-Shot Reasoning Algorithm for Augmenting Black-box Language Models with Knowledge Graphs ACL 2024
Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic AAAI 2024
Exact ASP Counting with Compact Encodings AAAI 2024
Learning MDL Logic Programs from Noisy Data AAAI 2024
Primal Grammars Driven Automated Induction IJCAI 2024
Efficient Axiomatization of OWL 2 EL Ontologies from Data by Means of Formal Concept Analysis AAAI 2024
Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees AAAI 2024
Sequential Model-Based Diagnosis by Systematic Search (Abstract Reprint) AAAI 2024
Using Symmetries to Lift Satisfiability Checking AAAI 2024
On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? AAAI 2024
Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae AAAI 2024
Stable Model Semantics for Description Logic Terminologies AAAI 2024
RulE: Knowledge Graph Reasoning with Rule Embedding ACL 2024
Quantitative Claim-Centric Reasoning in Logic-Based Argumentation IJCAI 2024
Generalisation through Negation and Predicate Invention AAAI 2024