Monadic Second-Order Logic with Arbitrary Monadic Predicates.
Nathanaël FijalkowCharles PapermanPublished in: CoRR (2017)
Keyphrases
- monadic second order logic
- expressive power
- data complexity
- regular expressions
- first order logic
- tree automata
- datalog programs
- query language
- user defined
- conjunctive queries
- reinforcement learning
- data analysis
- query answering
- pattern matching
- query evaluation
- machine learning
- sufficient conditions
- fuzzy sets
- relational databases