Shuang Xia, Krysia Broda, Alessandra Russo. Topical Neural Theorem Prover that Induces Rules. In Grégoire Danoy, Jun Pang 0001, Geoff Sutcliffe, editors, 6th Global Conference on Artificial Intelligence, GCAI 2020, Hangzhou, China, April 6-9, 2020. Volume 72 of EPiC Series in Computing, pages 107-120, EasyChair, 2020. [doi]
@inproceedings{XiaBR20,
title = {Topical Neural Theorem Prover that Induces Rules},
author = {Shuang Xia and Krysia Broda and Alessandra Russo},
year = {2020},
url = {http://www.easychair.org/publications/paper/mFsC},
researchr = {https://researchr.org/publication/XiaBR20},
cites = {0},
citedby = {0},
pages = {107-120},
booktitle = {6th Global Conference on Artificial Intelligence, GCAI 2020, Hangzhou, China, April 6-9, 2020},
editor = {Grégoire Danoy and Jun Pang 0001 and Geoff Sutcliffe},
volume = {72},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}