logical reasoning

Techniques for Symbol Grounding with SATNet NeurIPS 2021 Assessing SATNet's Ability to Solve the Symbol Grounding Problem NeurIPS 2020 Beta Embeddings for Multi-Hop Logical Reasoning in Knowledge Graphs NeurIPS 2020 Commonsense Reasoning to Guide Deep Learning for Scene Understanding (Extended Abstract) IJCAI 2020 ConjNLI: Natural Language Inference Over Conjunctive Sentences EMNLP 2020 From Statistical Relational to Neuro-Symbolic Artificial Intelligence IJCAI 2020 IKBT: Solving Symbolic Inverse Kinematics with Behavior Tree (Extended Abstract) IJCAI 2020 LogicalFactChecker: Leveraging Logical Operations for Fact Checking with Graph Module Network ACL 2020 Logic and the 2-Simplicial Transformer ICLR 2020 LogiQA: A Challenge Dataset for Machine Reading Comprehension with Logical Reasoning IJCAI 2020 Measuring Systematic Generalization in Neural Proof Generation with Transformers NeurIPS 2020 Multi-Step Inference for Reasoning Over Paragraphs EMNLP 2020 Ontology Reasoning with Deep Neural Networks (Extended Abstract) IJCAI 2020 ReClor: A Reading Comprehension Dataset Requiring Logical Reasoning ICLR 2020 ReCO: A Large Scale Chinese Reading Comprehension Dataset on Opinion AAAI 2020 A logical-based corpus for cross-lingual evaluation EMNLP 2019 A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief IJCAI 2019 Augmenting Neural Networks with First-order Logic ACL 2019 Bridging Machine Learning and Logical Reasoning by Abductive Learning NeurIPS 2019 Declarative Question Answering over Knowledge Bases Containing Natural Language Text with Answer Set Programming AAAI 2019 Differentiable Physics and Stable Modes for Tool-Use and Manipulation Planning - Extended Abtract IJCAI 2019 Evolutionary Learning of Existential Rules IJCAI 2019 Implicitly learning to reason in first-order logic NeurIPS 2019 Partial Awareness AAAI 2019 Quantum Embedding of Knowledge for Reasoning NeurIPS 2019