Reasoning

Size of Interventional Markov Equivalence Classes in random DAG models AISTATS 2019 Solving Multiagent Planning Problems with Concurrent Conditional Effects AAAI 2019 Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019 Temporal Planning with Temporal Metric Trajectory Constraints AAAI 2019 TextGraphs 2019 Shared Task on Multi-Hop Inference for Explanation Regeneration EMNLP 2019 The Case for Evaluating Causal Models Using Interventional Measures and Empirical Data NeurIPS 2019 The Reduced PC-Algorithm: Improved Causal Structure Learning in Large Random Networks JMLR 2019 Towards Generalizable Neuro-Symbolic Systems for Commonsense Question Answering EMNLP 2019 Unbounded Orchestrations of Transducers for Manufacturing AAAI 2019 Unbounded Stress in Subregular Phonology ACL 2019 Unsupervised Embedding Enhancements of Knowledge Graphs using Textual Associations IJCAI 2019 Verifiable and Interpretable Reinforcement Learning through Program Synthesis AAAI 2019 Verification of RNN-Based Neural Agent-Environment Systems AAAI 2019 Verifying Robustness of Gradient Boosted Models AAAI 2019 Weakly Supervised Multilingual Causality Extraction from Wikipedia EMNLP 2019 When Choosing Plausible Alternatives, Clever Hans can be Clever EMNLP 2019 Why Can’t You Do That HAL? Explaining Unsolvability of Planning Tasks IJCAI 2019 Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting IJCAI 2019 Abstraction of Agents Executing Online and their Abilities in the Situation Calculus IJCAI 2018 A Causal And-Or Graph Model for Visibility Fluent Reasoning in Tracking Interacting Objects CVPR 2018 A Conversational Approach to Process-oriented Case-based Reasoning IJCAI 2018 Acquisition of Phrase Correspondences Using Natural Deduction Proofs NAACL 2018 Actual Causality in a Logical Setting IJCAI 2018 Adversarial Contrastive Estimation ACL 2018 A Generalized Knowledge Hunting Framework for the Winograd Schema Challenge NAACL 2018