Logics for Word Transductions with Synthesis.
Luc DartoisEmmanuel FiliotNathan LhotePublished in: LICS (2018)
Keyphrases
- n gram
- finite state
- expressive power
- inference rules
- finite automata
- co occurrence
- word recognition
- texture synthesis
- program synthesis
- related words
- modal logic
- word segmentation
- classical logic
- word level
- english words
- feature selection
- functional programs
- unknown words
- word sense disambiguation
- natural language processing