Naveen Sundar Govindarajulu, Selmer Bringsjord. Crowdsourcing Theorem Proving via Natural Games. In Claudia Schon, Ulrich Furbach, editors, Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York, USA, July 9, 2016. Volume 1651 of CEUR Workshop Proceedings, pages 28-42, CEUR-WS.org, 2016. [doi]
@inproceedings{GovindarajuluB16,
title = {Crowdsourcing Theorem Proving via Natural Games},
author = {Naveen Sundar Govindarajulu and Selmer Bringsjord},
year = {2016},
url = {http://ceur-ws.org/Vol-1651/12340026.pdf},
researchr = {https://researchr.org/publication/GovindarajuluB16},
cites = {0},
citedby = {0},
pages = {28-42},
booktitle = {Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York, USA, July 9, 2016},
editor = {Claudia Schon and Ulrich Furbach},
volume = {1651},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}