Automated Reasoning

KGR4: Retrieval, Retrospect, Refine and Rethink for Commonsense Generation AAAI 2022 Knowledge Compilation Meets Logical Separability AAAI 2022 KQA Pro: A Dataset with Explicit Compositional Programs for Complex Question Answering over Knowledge Base ACL 2022 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 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 Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic AAAI 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 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 Modelling Commonsense Properties Using Pre-Trained Bi-Encoders COLING 2022 Natural Language Deduction through Search over Statement Compositions EMNLP 2022 Neural-Symbolic Entangled Framework for Complex Query Answering NeurIPS 2022 Neural-Symbolic Models for Logical Queries on Knowledge Graphs ICML 2022 Neuro-Symbolic Hierarchical Rule Induction ICML 2022 Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks AAAI 2022 On Paraconsistent Belief Revision in LP AAAI 2022