Learning to Guide a Saturation-Based Theorem Prover
- Ibrahim Abdelaziz
- Maxwell Crouse
- et al.
- 2021
- IEEE TPAMI
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
Reflections on: Deep learning for noise-tolerant RDFS reasoning
- Bassem Makni
- Jim Hendler
- 2019
- JT@ISWC 2019
Improving natural language inference using external knowledge in the science questions domain
- Xiaoyan Wang
- Pavan Kapanipathi
- et al.
- 2019
- AAAI 2019
Deep learning for noise-tolerant RDFS reasoning
- Bassem Makni
- Jim Hendler
- 2019
- Semantic Web
Scalable reasoning infrastructure for large scale knowledge bases
- Hima Karanam
- Sumit Neelam
- et al.
- 2018
- ISWC-Posters-Demos-Industry 2018