research
∙
06/07/2021
Learning to Guide a Saturation-Based Theorem Prover
Traditional automated theorem provers have relied on manually tuned heur...
share
research
∙
02/10/2020
Explainable Deep RDFS Reasoner
Recent research efforts aiming to bridge the Neural-Symbolic gap for RDF...
research
∙
11/05/2019
A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Traditional first-order logic (FOL) reasoning systems usually rely on ma...
research
∙
11/05/2019
Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
Textual entailment is a fundamental task in natural language processing....
research
∙
09/15/2018
Answering Science Exam Questions Using Query Rewriting with Background Knowledge
Open-domain question answering (QA) is an important problem in AI and NL...
research
∙
09/15/2018