Reasoning

Synthesis of Maximally Permissive Strategies for LTLf Specifications IJCAI 2022 System 1 + System 2 = Better World: Neural-Symbolic Chain of Logic Reasoning EMNLP 2022 TAG: Learning Timed Automata from Logs AAAI 2022 Target-Guided Open-Domain Conversation Planning COLING 2022 Target Languages (vs. Inductive Biases) for Learning to Act and Plan AAAI 2022 Tell me why! Explanations support learning relational and causal structure ICML 2022 Temporally Disentangled Representation Learning NeurIPS 2022 TextGraphs 2022 Shared Task on Natural Language Premise Selection COLING 2022 The Functional LiNGAM PGM 2022 The Importance of Being Correlated: Implications of Dependence in Joint Spectral Inference across Multiple Networks JMLR 2022 The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard AAAI 2022 The SoftCumulative Constraint with Quadratic Penalty AAAI 2022 Think Before You Speak: Explicitly Generating Implicit Commonsense Knowledge for Response Generation ACL 2022 TLogic: Temporal Logical Rules for Explainable Link Forecasting on Temporal Knowledge Graphs AAAI 2022 Towards a Progression-Aware Autonomous Dialogue Agent NAACL 2022 Towards Multi-Sense Cross-Lingual Alignment of Contextual Embeddings COLING 2022 Tractable Abstract Argumentation via Backdoor-Treewidth AAAI 2022 Tractable Uncertainty for Structure Learning ICML 2022 Two Compacted Models for Efficient Model-Based Diagnosis AAAI 2022 Typing assumptions improve identification in causal discovery CLeaR 2022 Understanding and Improving Knowledge Graph Embedding for Entity Alignment ICML 2022 Understanding Enthymemes in Deductive Argumentation Using Semantic Distance Measures AAAI 2022 Uni-Parser: Unified Semantic Parser for Question Answering on Knowledge Base and Database EMNLP 2022 Unsupervised Editing for Counterfactual Stories AAAI 2022 Using Conditional Independence for Belief Revision AAAI 2022