← Keywords

logical reasoning

298 papers

Explore in graph

Co-occurring keywords

large language model (12755) natural language inference (1278) benchmark evaluation (1539) knowledge graph (1795) first-order logic (168) question answering (2904) symbolic reasoning (184) language model (4573) deductive reasoning (56) neural network (6616)

Papers

LogiQA: A Challenge Dataset for Machine Reading Comprehension with Logical Reasoning IJCAI 2020
From Statistical Relational to Neuro-Symbolic Artificial Intelligence IJCAI 2020
ConjNLI: Natural Language Inference Over Conjunctive Sentences EMNLP 2020
Multi-Step Inference for Reasoning Over Paragraphs EMNLP 2020
Assessing SATNet's Ability to Solve the Symbol Grounding Problem NIPS 2020
Quantum Embedding of Knowledge for Reasoning NIPS 2019
Bridging Machine Learning and Logical Reasoning by Abductive Learning NIPS 2019
A logical-based corpus for cross-lingual evaluation EMNLP 2019
Augmenting Neural Networks with First-order Logic ACL 2019
Evolutionary Learning of Existential Rules IJCAI 2019
Differentiable Physics and Stable Modes for Tool-Use and Manipulation Planning - Extended Abtract IJCAI 2019
A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief IJCAI 2019
Implicitly learning to reason in first-order logic NIPS 2019
Partial Awareness AAAI 2019
Declarative Question Answering over Knowledge Bases Containing Natural Language Text with Answer Set Programming AAAI 2019
SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver ICML 2019
Neural Tensor Networks with Diagonal Slice Matrices NAACL 2018
Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning NAACL 2018
Chains of Reasoning over Entities, Relations, and Text using Recurrent Neural Networks EACL 2017
LangPro: Natural Language Theorem Prover EMNLP 2017
Epistemic-entrenchment Characterization of Parikh’s Axiom IJCAI 2017
On-demand Injection of Lexical Knowledge for Recognising Textual Entailment EACL 2017
Reformulating Queries: Theory and Practice IJCAI 2017