Reasoning

Neighborhood Matching Network for Entity Alignment ACL 2020 NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification NSDI 2020 Network Representation Learning Algorithm Based on Neighborhood Influence Sequence ACML 2020 NeuInfer: Knowledge Inference on N-ary Facts ACL 2020 On Efficient Adjustment in Causal Graphs JMLR 2020 Online Planner Selection with Graph Neural Networks and Adaptive Scheduling AAAI 2020 On Pruning for Score-Based Bayesian Network Structure Learning AISTATS 2020 On Robustness in Qualitative Constraint Networks IJCAI 2020 On Succinct Groundings of HTN Planning Problems AAAI 2020 On the Completeness of Causal Discovery in the Presence of Latent Confounding with Tiered Background Knowledge AISTATS 2020 On the Decidability of Intuitionistic Tense Logic without Disjunction IJCAI 2020 On the Role of Sparsity and DAG Constraints for Learning Linear DAGs NeurIPS 2020 Optimal and Non-Discriminative Rehabilitation Program Design for Opioid Addiction Among Homeless Youth IJCAI 2020 Optimal Planning Modulo Theories IJCAI 2020 Ordering-Based Causal Structure Learning in the Presence of Latent Variables AISTATS 2020 Orthogonal Relation Transforms with Graph Context Modeling for Knowledge Graph Embedding ACL 2020 Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators IJCAI 2020 Parameterised Resource-Bounded ATL AAAI 2020 Path Ranking with Attention to Type Hierarchies AAAI 2020 Permutation-Based Causal Structure Learning with Unknown Intervention Targets UAI 2020 PGL at TextGraphs 2020 Shared Task: Explanation Regeneration using Language and Graph Learning Methods COLING 2020 Plankton: Scalable network configuration verification through model checking NSDI 2020 Planning and Acting with Non-Deterministic Events: Navigating between Safe States AAAI 2020 Planning with Abstract Learned Models While Learning Transferable Subtasks AAAI 2020 POP ≡ POCL, Right? Complexity Results for Partial Order (Causal Link) Makespan Minimization AAAI 2020