Reasoning

Using Embeddings for Causal Estimation of Peer Influence in Social Networks NeurIPS 2022 Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract) IJCAI 2022 Variance Minimization in the Wasserstein Space for Invariant Causal Prediction AISTATS 2022 Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces IJCAI 2022 Verification and search algorithms for causal DAGs NeurIPS 2022 Verifying Hardware Security Modules with Information-Preserving Refinement OSDI 2022 Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning OSDI 2022 Weakly but Deeply Supervised Occlusion-Reasoned Parametric Road Layouts CVPR 2022 Weakly Supervised Neural Symbolic Learning for Cognitive Tasks AAAI 2022 Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula AAAI 2022 When did you become so smart, oh wise one?! Sarcasm Explanation in Multi-modal Multi-party Dialogues ACL 2022 WiC = TSV = WSD: On the Equivalence of Three Semantic Tasks NAACL 2022 ZiNet: Linking Chinese Characters Spanning Three Thousand Years ACL 2022 A Bayesian Framework for Information-Theoretic Probing EMNLP 2021 A Bayesian nonparametric conditional two-sample test with an application to Local Causal Discovery UAI 2021 Abductive Knowledge Induction from Raw Data IJCAI 2021 Abductive Learning with Ground Knowledge Base IJCAI 2021 Abstract Argumentation Frameworks with Domain Assignments IJCAI 2021 A Causal Approach for Unfair Edge Prioritization and Discrimination Removal ACML 2021 A Causal Lens for Controllable Text Generation NeurIPS 2021 ACRE: Abstract Causal REasoning Beyond Covariation CVPR 2021 Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies IJCAI 2021 Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners AAAI 2021 Addressing Semantic Drift in Generative Question Answering with Auxiliary Extraction ACL 2021 A Description Logic for Analogical Reasoning IJCAI 2021