Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation.
Chitta BaralJuraj DzifcakPublished in: KR (2012)
Keyphrases
- answer set programming
- machine translation
- learning algorithm
- logic programs
- logic programming
- cross language
- query translation
- reinforcement learning
- orders of magnitude
- constraint satisfaction
- constraint logic programming
- statistical machine translation
- stable models
- target language
- background knowledge
- general purpose
- knowledge base