Reasoning

SCALE: Causal Learning and Discovery of Robot Manipulation Skills using Simulation CoRL 2023 Schema-adaptable Knowledge Graph Construction EMNLP 2023 SConE: Simplified Cone Embeddings with Symbolic Operators for Complex Logical Queries ACL 2023 Second-Order Quantified Boolean Logic AAAI 2023 Self-Organization Preserved Graph Structure Learning with Principle of Relevant Information AAAI 2023 Self-prompted Chain-of-Thought on Large Language Models for Open-domain Multi-hop Reasoning EMNLP 2023 Self-Supervised Logic Induction for Explainable Fuzzy Temporal Commonsense Reasoning AAAI 2023 Semantic-Aware Dynamic Retrospective-Prospective Reasoning for Event-Level Video Question Answering ACL 2023 Semantic Structure Enhanced Event Causality Identification ACL 2023 Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems OSDI 2023 Sharp Bounds for Generalized Causal Sensitivity Analysis NeurIPS 2023 SiMFy: A Simple Yet Effective Approach for Temporal Knowledge Graph Reasoning EMNLP 2023 Simple Augmentations of Logical Rules for Neuro-Symbolic Knowledge Graph Completion ACL 2023 Simplified Risk-aware Decision Making with Belief-dependent Rewards in Partially Observable Domains (Extended Abstract) IJCAI 2023 SMT Safety Verification of Ontology-Based Processes AAAI 2023 Soft-Unification in Deep Probabilistic Logic NeurIPS 2023 Solving Math Word Problems via Cooperative Reasoning induced Language Models ACL 2023 SORTIE: Dependency-Aware Symbolic Reasoning for Logical Data-to-text Generation ACL 2023 SSNSheerinKavitha at SemEval-2023 Task 7: Semantic Rule Based Label Prediction Using TF-IDF and BM25 Techniques SemEval 2023 STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning AAAI 2023 Structurally Restricted Fragments of Numeric Planning – a Complexity Analysis AAAI 2023 Structure Learning with Adaptive Random Neighborhood Informed MCMC NeurIPS 2023 Subset verification and search algorithms for causal DAGs AISTATS 2023 Synthetic Combinations: A Causal Inference Framework for Combinatorial Interventions NeurIPS 2023 Task-specific experimental design for treatment effect estimation ICML 2023