Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation.
Chitta BaralJuraj DzifcakPublished in: CoRR (2011)
Keyphrases
- answer set programming
- machine translation
- cross language information retrieval
- statistical machine translation
- logic programs
- machine learning
- artificial intelligence
- logic programming
- cross language
- learning algorithm
- constraint logic programming
- solving problems
- query translation
- combinatorial optimization
- constraint satisfaction
- background knowledge
- object oriented
- bilingual dictionaries
- search algorithm