Automated Reasoning

Safe Abductive Learning in the Presence of Inaccurate Rules AAAI 2024 SALMON: A Structure-Aware Language Model with logicality and densification strategy for Temporal Knowledge Graph Reasoning EMNLP 2024 SAT-Based Algorithms for Regular Graph Pattern Matching 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 Sequential Model-Based Diagnosis by Systematic Search (Abstract Reprint) AAAI 2024 Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning AAAI 2024 Stable Model Semantics for Description Logic Terminologies AAAI 2024 Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract) IJCAI 2024 TEILP: Time Prediction over Knowledge Graphs via Logical Reasoning AAAI 2024 Temporal Fact Reasoning over Hyper-Relational Knowledge Graphs EMNLP 2024 Temporal Inductive Logic Reasoning over Hypergraphs IJCAI 2024 The Complexity of Computing Robust Mediated Equilibria in Ordinal Games AAAI 2024 The Logic of Doxastic Strategies AAAI 2024 Think Before You Simulate: Symbolic Reasoning To Orchestrate Neural Computation for Counterfactual Question Answering WACV 2024 Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases IJCAI 2024 Towards Epistemic-Doxastic Planning with Observation and Revision AAAI 2024 Towards Multi-Relational Multi-Hop Reasoning over Dense Temporal Knowledge Graphs ACL 2024 Towards Supporting Legal Argumentation with NLP: Is More Data Really All You Need? EMNLP 2024 TRACE the Evidence: Constructing Knowledge-Grounded Reasoning Chains for Retrieval-Augmented Generation EMNLP 2024 Tree-of-Traversals: A Zero-Shot Reasoning Algorithm for Augmenting Black-box Language Models with Knowledge Graphs ACL 2024 TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks ICML 2024 Understanding Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregation ICML 2024 Using Symmetries to Lift Satisfiability Checking AAAI 2024 Verifiable, Debuggable, and Repairable Commonsense Logical Reasoning via LLM-based Theory Resolution EMNLP 2024