Bassem Makni | DeepAI

AI Chat

Featured Co-authors

Mo Yu
88 publications
Nicholas Mattei
41 publications
Michael Witbrock
32 publications
Kartik Talamadupula
31 publications
Ibrahim Abdelaziz
28 publications
Pavan Kapanipathi
26 publications
Achille Fokoue
21 publications
Veronika Thost
16 publications
Kavitha Srinivas
15 publications
Chulaka Gunasekara
14 publications
Spencer Whitehead
13 publications

∙ 06/07/2021

Learning to Guide a Saturation-Based Theorem Prover

Traditional automated theorem provers have relied on manually tuned heur...

4 Ibrahim Abdelaziz, et al. ∙

∙ 02/10/2020

Explainable Deep RDFS Reasoner

Recent research efforts aiming to bridge the Neural-Symbolic gap for RDF...

19 Bassem Makni, et al. ∙

∙ 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...

38 Maxwell Crouse, et al. ∙

∙ 11/05/2019

Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks

Textual entailment is a fundamental task in natural language processing....

0 Pavan Kapanipathi, et al. ∙

∙ 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...

0 Ryan Musa, et al. ∙

∙ 09/15/2018

Improving Natural Language Inference Using External Knowledge in the Science Questions Domain

Natural Language Inference (NLI) is fundamental to many Natural Language...

8 Xiaoyan Wang, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world