Reasoning

SMT-based Safety Checking of Parameterized Multi-Agent Systems AAAI 2021 SQALER: Scaling Question Answering by Decoupling Multi-Hop and Logical Reasoning NeurIPS 2021 State-Based Recurrent SPMNs for Decision-Theoretic Planning under Partial Observability IJCAI 2021 Strategyproof Randomized Social Choice for Restricted Sets of Utility Functions IJCAI 2021 Stratified Negation in Datalog with Metric Temporal Operators AAAI 2021 Strong Explanations in Abstract Argumentation AAAI 2021 Subgoal Search For Complex Reasoning Tasks NeurIPS 2021 Successor-Invariant First-Order Logic on Classes of Bounded Degree (Extended Abstract) IJCAI 2021 Symbolic Dynamic Programming for Continuous State MDPs with Linear Program Transitions IJCAI 2021 Symbolic Search for Oversubscription Planning AAAI 2021 Synthesizing Good-Enough Strategies for LTLf Specifications IJCAI 2021 Tango: Declarative Semantics for Multiagent Communication Protocols IJCAI 2021 Teaching Temporal Logics to Neural Networks ICLR 2021 Team Papelo at FEVEROUS: Multi-hop Evidence Pursuit EMNLP 2021 Temporal and Object Quantification Networks IJCAI 2021 Testing Independence Between Linear Combinations for Causal Discovery AAAI 2021 TextGraphs 2021 Shared Task on Multi-Hop Inference for Explanation Regeneration NAACL 2021 The Adaptive Doubly Robust Estimator and a Paradox Concerning Logging Policy NeurIPS 2021 The Complexity Landscape of Claim-Augmented Argumentation Frameworks AAAI 2021 The Counterfactual NESS Definition of Causation AAAI 2021 The FairyNet Corpus - Character Networks for German Fairy Tales EMNLP 2021 The Future is not One-dimensional: Complex Event Schema Induction by Graph Modeling for Event Prediction EMNLP 2021 Think about it! Improving defeasible reasoning by first modeling the question scenario. EMNLP 2021 Time-to-Event Models for Analyzing Reaction Time Sequences Interspeech 2021 Topology-Aware Correlations Between Relations for Inductive Link Prediction in Knowledge Graphs AAAI 2021