Learning to Guide a Saturation-Based Theorem Prover
- Ibrahim Abdelaziz
- Maxwell Crouse
- et al.
- 2021
- IEEE TPAMI
Paper
Publications
6 results for Bassem Makni
Infusing knowledge into the textual entailment task using graph convolutional networks
- Pavan Kapanipathi
- Veronika Thost
- et al.
- 2020
- AAAI 2020
Conference paperReflections on: Deep learning for noise-tolerant RDFS reasoning
- Bassem Makni
- Jim Hendler
- 2019
- JT@ISWC 2019
Conference paperImproving natural language inference using external knowledge in the science questions domain
- Xiaoyan Wang
- Pavan Kapanipathi
- et al.
- 2019
- AAAI 2019
Conference paperDeep learning for noise-tolerant RDFS reasoning
- Bassem Makni
- Jim Hendler
- 2019
- Semantic Web
PaperScalable reasoning infrastructure for large scale knowledge bases
- Hima Karanam
- Sumit Neelam
- et al.
- 2018
- ISWC-Posters-Demos-Industry 2018
Conference paper