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]
Abstract is missing.