Automated Reasoning

Logic Rules as Explanations for Legal Case Retrieval COLING 2024 Look before You Leap: Dual Logical Verification for Knowledge-based Visual Question Generation COLING 2024 MediQ: Question-Asking LLMs and a Benchmark for Reliable Interactive Clinical Reasoning NeurIPS 2024 Membership Testing in Markov Equivalence Classes via Independence Queries AISTATS 2024 Modeling Knowledge Graphs with Composite Reasoning AAAI 2024 NALA: an Effective and Interpretable Entity Alignment Method EMNLP 2024 Non-flat ABA Is an Instance of Bipolar Argumentation AAAI 2024 ONSEP: A Novel Online Neural-Symbolic Framework for Event Prediction Based on Large Language Model ACL 2024 On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence AAAI 2024 On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? AAAI 2024 Optimised Storage for Datalog Reasoning AAAI 2024 Out-of-Distribution Detection With Logical Reasoning WACV 2024 PathReasoner: Modeling Reasoning Path with Equivalent Extension for Logical Question Answering ACL 2024 Plausible Extractive Rationalization through Semi-Supervised Entailment Signal ACL 2024 Primal Grammars Driven Automated Induction IJCAI 2024 Proving Olympiad Algebraic Inequalities without Human Demonstrations NeurIPS 2024 Proving Theorems Recursively NeurIPS 2024 PyClause - Simple and Efficient Rule Handling for Knowledge Graphs IJCAI 2024 Quantitative Claim-Centric Reasoning in Logic-Based Argumentation IJCAI 2024 Quantitative Reasoning over Incomplete Abstract Argumentation Frameworks IJCAI 2024 Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic AAAI 2024 Redefining ABA+ Semantics via Abstract Set-to-Set Attacks AAAI 2024 Revisiting Document-Level Relation Extraction with Context-Guided Link Prediction AAAI 2024 Right for Right Reasons: Large Language Models for Verifiable Commonsense Knowledge Graph Question Answering EMNLP 2024 RulE: Knowledge Graph Reasoning with Rule Embedding ACL 2024