%0 Conference Paper %1 conf/gcai/XiaBR20 %A Xia, Shuang %A Broda, Krysia %A Russo, Alessandra %B GCAI %D 2020 %E Danoy, Grégoire %E Pang, Jun %E Sutcliffe, Geoff %I EasyChair %K dblp %P 107-120 %T Topical Neural Theorem Prover that Induces Rules. %U http://dblp.uni-trier.de/db/conf/gcai/gcai2020.html#XiaBR20 %V 72

@inproceedings{conf/gcai/XiaBR20, added-at = {2021-08-15T00:00:00.000+0200}, author = {Xia, Shuang and Broda, Krysia and Russo, Alessandra}, biburl = {https://www.bibsonomy.org/bibtex/23d626ebfafa91770032b20c4ab7ae241/dblp}, booktitle = {GCAI}, crossref = {conf/gcai/2020}, editor = {Danoy, Grégoire and Pang, Jun and Sutcliffe, Geoff}, ee = {https://doi.org/10.29007/wscr}, interhash = {518035b9c0d46ec4b0d742a42775bf9a}, intrahash = {3d626ebfafa91770032b20c4ab7ae241}, keywords = {dblp}, pages = {107-120}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T23:30:43.000+0200}, title = {Topical Neural Theorem Prover that Induces Rules.}, url = {http://dblp.uni-trier.de/db/conf/gcai/gcai2020.html#XiaBR20}, volume = 72, year = 2020 }