Reasoning

An Operational Semantics for True Concurrency in BDI Agent Systems AAAI 2020 Answering Conjunctive Queries with Inequalities in DL-Liteℛ AAAI 2020 Answering Counting Queries over DL-Lite Ontologies IJCAI 2020 A Penny for Your Thoughts: The Value of Communication in Ad Hoc Teamwork IJCAI 2020 A Practical Approach to Forgetting in Description Logics with Nominals AAAI 2020 Aragog: Scalable Runtime Verification of Shardable Networked Systems OSDI 2020 Are Pretrained Language Models Symbolic Reasoners over Knowledge? CoNLL 2020 A Simpler and Faster NIC Driver Model for Network Functions OSDI 2020 A Simultaneous Discover-Identify Approach to Causal Inference in Linear Models AAAI 2020 Assessing SATNet's Ability to Solve the Symbol Grounding Problem NeurIPS 2020 A Survey on Temporal Reasoning for Temporal Information Extraction from Text (Extended Abstract) IJCAI 2020 Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution OSDI 2020 Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020 Bayesian network structure learning with causal effects in the presence of latent variables PGM 2020 Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract) AAAI 2020 Benchmark and Best Practices for Biomedical Knowledge Graph Embeddings ACL 2020 Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs AAAI 2020 Building Causal Interaction Models by Recursive Unfolding PGM 2020 C3MM: Clique-Closure based Hyperlink Prediction IJCAI 2020 Can We Predict New Facts with Open Knowledge Graph Embeddings? A Benchmark for Open Link Prediction ACL 2020 CASTLE: Regularization via Auxiliary Causal Graph Discovery NeurIPS 2020 Causal Bayesian Optimization AISTATS 2020 Causal Discovery from Heterogeneous/Nonstationary Data JMLR 2020 Causal Discovery from Soft Interventions with Unknown Targets: Characterization and Learning NeurIPS 2020 Causal Discovery in Physical Systems from Videos NeurIPS 2020