Knowledge & Reasoning

Rule Induction in Knowledge Graphs Using Linear Programming AAAI 2023 Sample-Specific Root Causal Inference with Latent Variables CLeaR 2023 SatLM: Satisfiability-Aided Language Models Using Declarative Prompting NeurIPS 2023 Scalable Theory-Driven Regularization of Scene Graph Generation Models AAAI 2023 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 SEAG: Structure-Aware Event Causality Generation 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 Parsing for Conversational Question Answering over Knowledge Graphs EACL 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 Shrinking Embeddings for Hyper-Relational Knowledge Graphs ACL 2023 SiMFy: A Simple Yet Effective Approach for Temporal Knowledge Graph Reasoning EMNLP 2023 Similarity-weighted Construction of Contextualized Commonsense Knowledge Graphs for Knowledge-intense Argumentation Tasks ACL 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 Social Relation Reasoning Based on Triangular Constraints AAAI 2023 Soft-Unification in Deep Probabilistic Logic NeurIPS 2023