Going Higher in the First-Order Quantifier Alternation Hierarchy on Words.
Thomas PlaceMarc ZeitounPublished in: ICALP (2) (2014)
Keyphrases
- quantifier elimination
- topic hierarchy
- higher order
- semantic distance
- n gram
- first order logic
- keywords
- hierarchical structure
- text corpus
- word sense disambiguation
- data sets
- text documents
- constraint propagation
- lower level
- text corpora
- higher level
- information extraction
- functional programming
- feature selection
- syntactic categories
- genetic algorithm