Ranked Enumeration of MSO Logic on Words.
Pierre BourhisAlejandro GrezLouis JachietCristian RiverosPublished in: ICDT (2021)
Keyphrases
- monadic second order logic
- expressive power
- modal logic
- n gram
- regular expressions
- text documents
- search space
- multi valued
- word sense disambiguation
- finite state
- logical framework
- word recognition
- multiword
- related words
- english words
- information retrieval systems
- co occurrence
- ranked list
- keywords
- automated reasoning
- logic programming
- classical logic
- word pairs
- text classification