Reasoning

Learning First-Order Rules with Differentiable Logic Program Semantics IJCAI 2022 Learning from Missing Relations: Contrastive Learning with Commonsense Knowledge Graphs for Commonsense Inference ACL 2022 Learning linear non-Gaussian polytree models UAI 2022 Leveraging Approximate Symbolic Models for Reinforcement Learning via Skill Diversity ICML 2022 Leveraging Knowledge in Multilingual Commonsense Reasoning ACL 2022 Lexicographic Entailment, Syntax Splitting and the Drowning Problem IJCAI 2022 Life is a Circus and We are the Clowns: Automatically Finding Analogies between Situations and Processes EMNLP 2022 Limits and Possibilities of Forgetting in Abstract Argumentation IJCAI 2022 Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic AAAI 2022 Local Constraint-Based Causal Discovery under Selection Bias CLeaR 2022 Locate Then Ask: Interpretable Stepwise Reasoning for Multi-hop Question Answering COLING 2022 Logical Form Generation via Multi-task Learning for Complex Question Answering over Knowledge Bases COLING 2022 Logical Inference for Counting on Semi-structured Tables ACL 2022 Logically Consistent Adversarial Attacks for Soft Theorem Provers IJCAI 2022 Logical Neural Networks for Knowledge Base Completion with Embeddings & Rules EMNLP 2022 LogicNMR: Probing the Non-monotonic Reasoning Ability of Pre-trained Language Models EMNLP 2022 LTL on Weighted Finite Traces: Formal Foundations and Algorithms IJCAI 2022 Making Translations to Classical Planning Competitive with Other HTN Planners AAAI 2022 Measuring Compositional Consistency for Video Question Answering CVPR 2022 MEIM: Multi-partition Embedding Interaction Beyond Block Term Format for Efficient and Expressive Link Prediction IJCAI 2022 MetaTKG: Learning Evolutionary Meta-Knowledge for Temporal Knowledge Graph Reasoning EMNLP 2022 MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators AAAI 2022 miniF2F: a cross-system benchmark for formal Olympiad-level mathematics ICLR 2022 MissDAG: Causal Discovery in the Presence of Missing Data with Continuous Additive Noise Models NeurIPS 2022 Mitigating Reporting Bias in Semi-supervised Temporal Commonsense Inference with Probabilistic Soft Logic AAAI 2022