TY  - RPRT
TI  - Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation
AU  - Chitta Baral
AU  - Juraj Dzifcak
PY  - 2011
UR  - https://arxiv.org/abs/1108.3850
ID  - 1108.3850
ER  -