Reasoning

Epistemic Disjunctive Datalog for Querying Knowledge Bases AAAI 2023 Estimating long-term causal effects from short-term experiments and long-term observational data with unobserved confounding CLeaR 2023 Estimating Possible Causal Effects with Latent Variables via Adjustment ICML 2023 Estimation of Counterfactual Interventions under Uncertainties ACML 2023 Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers AAAI 2023 Evaluating Instrument Validity using the Principle of Independent Mechanisms JMLR 2023 Event Causality Extraction via Implicit Cause-Effect Interactions EMNLP 2023 EventOA: An Event Ontology Alignment Benchmark Based on FrameNet and Wikidata ACL 2023 Event Semantic Knowledge in Procedural Text Understanding ACL 2023 Eventual Discounting Temporal Logic Counterfactual Experience Replay ICML 2023 Explaining Answer-Set Programs with Abstract Constraint Atoms IJCAI 2023 Explicit Alignment and Many-to-many Entailment Based Reasoning for Conversational Machine Reading EMNLP 2023 Explore the Way: Exploring Reasoning Path by Bridging Entities for Effective Cross-Document Relation Extraction EMNLP 2023 ExpNote: Black-box Large Language Models are better Task Solvers with Experience Notebook EMNLP 2023 Expressive Optimal Temporal Planning via Optimization Modulo Theory AAAI 2023 FactKG: Fact Verification via Reasoning on Knowledge Graphs ACL 2023 FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis AAAI 2023 Fast Scalable and Accurate Discovery of DAGs Using the Best Order Score Search and Grow Shrink Trees NeurIPS 2023 Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract) IJCAI 2023 Flexible and Efficient Contextual Bandits with Heterogeneous Treatment Effect Oracles AISTATS 2023 Formally Verified SAT-Based AI Planning AAAI 2023 Formal Methods for Network Performance Analysis NSDI 2023 From Temporal to Contemporaneous Iterative Causal Discovery in the Presence of Latent Confounders ICML 2023 GD-COMET: A Geo-Diverse Commonsense Inference Model EMNLP 2023 General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase AAAI 2023