Reasoning

Symbolic Numeric Planning with Patterns AAAI 2024 Symbolic Reasoning Methods for AI Planning AAAI 2024 Teaching Small Language Models Reasoning through Counterfactual Distillation EMNLP 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 Temporal Knowledge Question Answering via Abstract Reasoning Induction ACL 2024 The Complexity of Computing Robust Mediated Equilibria in Ordinal Games AAAI 2024 The Expressive Capacity of State Space Models: A Formal Language Perspective NeurIPS 2024 The Logic of Doxastic Strategies AAAI 2024 The Odyssey of Commonsense Causality: From Foundational Benchmarks to Cutting-Edge Reasoning EMNLP 2024 Think Before You Simulate: Symbolic Reasoning To Orchestrate Neural Computation for Counterfactual Question Answering WACV 2024 Tight Partial Identification of Causal Effects with Marginal Distribution of Unmeasured Confounders ICML 2024 TNPAR: Topological Neural Poisson Auto-Regressive Model for Learning Granger Causal Structure from Event Sequences AAAI 2024 Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases IJCAI 2024 Towards Bounding Causal Effects under Markov Equivalence UAI 2024 Towards Causal Foundation Model: on Duality between Optimal Balancing and Attention ICML 2024 Towards Epistemic-Doxastic Planning with Observation and Revision AAAI 2024 Towards Learning and Explaining Indirect Causal Effects in Neural Networks AAAI 2024 Towards Multi-Relational Multi-Hop Reasoning over Dense Temporal Knowledge Graphs ACL 2024 Towards Robust Saliency Maps ACML 2024 Towards Supporting Legal Argumentation with NLP: Is More Data Really All You Need? EMNLP 2024 Towards the Disappearing Truth: Fine-Grained Joint Causal Influences Learning with Hidden Variable-Driven Causal Hypergraphs in Time Series AAAI 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