Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation.

Chitta Baral, Juraj Dzifcak

Browse the full KR paper archive.