Automated Reasoning

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 Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems OSDI 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 Soft-Unification in Deep Probabilistic Logic NeurIPS 2023 SORTIE: Dependency-Aware Symbolic Reasoning for Logical Data-to-text Generation ACL 2023 TECHS: Temporal Logical Graph Networks for Explainable Extrapolation Reasoning ACL 2023 Temporal Datalog with Existential Quantification IJCAI 2023 Temporal Knowledge Graph Reasoning Based on N-tuple Modeling EMNLP 2023 TFLEX: Temporal Feature-Logic Embedding Framework for Complex Reasoning over Temporal Knowledge Graph NeurIPS 2023 The Candide model: How narratives emerge where observations meet beliefs ACL 2023 The Effect of Preferences in Abstract Argumentation under a Claim-Centric View AAAI 2023 The Proximal ID Algorithm JMLR 2023 THiFLY Research at SemEval-2023 Task 7: A Multi-granularity System for CTR-based Textual Entailment and Evidence Retrieval SemEval 2023 Towards Complex Scenarios: Building End-to-End Task-Oriented Dialogue System across Multiple Knowledge Bases AAAI 2023 Triggering Multi-Hop Reasoning for Question Answering in Language Models using Soft Prompts and Random Walks ACL 2023 TR-Rules: Rule-based Model for Link Forecasting on Temporal Knowledge Graph Considering Temporal Redundancy EMNLP 2023 Uncovering Implicit Inferences for Improved Relational Argument Mining EACL 2023 Zero-Shot Classification by Logical Reasoning on Natural Language Explanations ACL 2023 Abstraction for Non-Ground Answer Set Programs (Extended Abstract) IJCAI 2022 A Calculus for Computing Structured Justifications for Election Outcomes AAAI 2022 A Multivariate Complexity Analysis of Qualitative Reasoning Problems IJCAI 2022 An Axiomatic Approach to Revising Preferences AAAI 2022