Federico Chesani, Paola Mello, Michela Milano. Solving Mathematical Puzzles: a Deep Reasoning Challenge (Position Paper). In Federico Chesani, Paola Mello, Michela Milano, editors, Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), Genova, Italy, November 28th, 2016. Volume 1802 of CEUR Workshop Proceedings, pages 44-49, CEUR-WS.org, 2016. [doi]
Abstract is missing.