Solving Mathematical Puzzles: a Deep Reasoning Challenge (Position Paper).

Federico Chesani Paola Mello Michela Milano

Published in: URANIA@AI*IA (2016)

Keyphrases

rule based reasoning
crossword puzzles
jigsaw puzzle
knowledge representation
future directions
data sets
meta level
linear programming
production rules
solving problems
deep learning