Knowledge & Reasoning

Automated Verification of Social Laws for Continuous Time Multi-Robot Systems AAAI 2019 Automatic Taxonomy Induction and Expansion EMNLP 2019 Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants IJCAI 2019 A Vectorized Relational Graph Convolutional Network for Multi-Relational Network Alignment IJCAI 2019 A Weighted Mini-Bucket Bound for Solving Influence Diagram UAI 2019 Barack’s Wife Hillary: Using Knowledge Graphs for Fact-Aware Language Modeling ACL 2019 Belief Change and Non-Monotonic Reasoning Sans Compactness AAAI 2019 Beyond Structural Causal Models: Causal Constraints Models UAI 2019 Biomedical Event Extraction based on Knowledge-driven Tree-LSTM NAACL 2019 Bringing Order to Chaos – A Compact Representation of Partial Order in SAT-Based HTN Planning AAAI 2019 Building Causal Graphs from Medical Literature and Electronic Medical Records AAAI 2019 CaRe: Open Knowledge Graph Embeddings EMNLP 2019 Causal Calculus in the Presence of Cycles, Latent Confounders and Selection Bias UAI 2019 Causal Discovery in the Presence of Missing Data AISTATS 2019 Causal Discovery with Cascade Nonlinear Additive Noise Model IJCAI 2019 Causal Discovery with General Non-Linear Relationships using Non-Linear ICA UAI 2019 Causal Embeddings for Recommendation: An Extended Abstract IJCAI 2019 Causal Inference Under Interference And Network Uncertainty UAI 2019 Cautious Rule-Based Collective Inference IJCAI 2019 Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees AAAI 2019 Chains-of-Reasoning at TextGraphs 2019 Shared Task: Reasoning over Chains of Facts for Explainable Multi-hop Inference EMNLP 2019 Characterization and Learning of Causal Graphs with Latent Variables from Soft Interventions NeurIPS 2019 Chasing Sets: How to Use Existential Rules for Expressive Reasoning IJCAI 2019 Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies IJCAI 2019 Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference AAAI 2019