First-order Fragments with Successor over Infinite Words
Jakub KallasManfred KufleitnerAlexander LauserPublished in: CoRR (2011)
Keyphrases
- first order logic
- keywords
- mazurkiewicz traces
- word sense disambiguation
- higher order
- text documents
- machine learning
- real numbers
- n gram
- text classification
- co occurrence
- website
- expressive power
- learning algorithm
- temporal logic
- genetic algorithm
- part of speech
- text corpora
- word segmentation
- word recognition
- information retrieval
- linguistic information
- quantifier elimination
- proper nouns
- data sets