Lawrence S. Moss, Charlotte Raty. Reasoning About the Sizes of Sets: Progress, Problems, and Prospects. In Claudia Schon, editor, Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), Stockholm, Schweden, July 14, 2018. Volume 2261 of CEUR Workshop Proceedings, pages 33-39, CEUR-WS.org, 2018. [doi]
@inproceedings{MossR18, title = {Reasoning About the Sizes of Sets: Progress, Problems, and Prospects}, author = {Lawrence S. Moss and Charlotte Raty}, year = {2018}, url = {http://ceur-ws.org/Vol-2261/paper6.pdf}, researchr = {https://researchr.org/publication/MossR18}, cites = {0}, citedby = {0}, pages = {33-39}, booktitle = {Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), Stockholm, Schweden, July 14, 2018}, editor = {Claudia Schon}, volume = {2261}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }