Reasoning

ApproxASP – a Scalable Approximate Answer Set Counter AAAI 2022 Approximate Inference for Stochastic Planning in Factored Spaces PGM 2022 A robustness test for estimating total effects with covariate adjustment UAI 2022 A Simplified Benchmark for Ambiguous Explanations of Knowledge Graph Link Prediction Using Relational Graph Convolutional Networks (Student Abstract) AAAI 2022 ASP-Based Declarative Process Mining AAAI 2022 A Transition-based Method for Complex Question Understanding COLING 2022 A Uniformly Consistent Estimator of non-Gaussian Causal Effects Under the k-Triangle-Faithfulness Assumption CLeaR 2022 Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition IJCAI 2022 Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement AAAI 2022 Automated Verification of Network Function Binaries NSDI 2022 Bivariate Causal Discovery for Categorical Data via Classification with Optimal Label Permutation NeurIPS 2022 Bivariate Causal Discovery via Conditional Divergence CLeaR 2022 Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck IJCAI 2022 Bounding Counterfactuals under Selection Bias PGM 2022 Bounding Quality in Diverse Planning AAAI 2022 Braid: Weaving Symbolic and Neural Knowledge into Coherent Logical Explanations AAAI 2022 Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae AAAI 2022 BusyBot: Learning to Interact, Reason, and Plan in a BusyBoard Environment CoRL 2022 Canary Extraction in Natural Language Understanding Models ACL 2022 Case-Based Abductive Natural Language Inference COLING 2022 CauAIN: Causal Aware Interaction Network for Emotion Recognition in Conversations IJCAI 2022 Causal Aggregation: Estimation and Inference of Causal Effects by Constraint-Based Data Fusion JMLR 2022 Causal Discovery and Reinforcement Learning: A Synergistic Integration PGM 2022 Causal Discovery in Hawkes Processes by Minimum Description Length AAAI 2022 Causal Discovery in Heterogeneous Environments Under the Sparse Mechanism Shift Hypothesis NeurIPS 2022