Extensions of MSO and the monadic counting hierarchy.
Juha KontinenHannu NiemistöPublished in: Inf. Comput. (2011)
Keyphrases
- monadic second order logic
- expressive power
- deductive databases
- finite state
- regular expressions
- hierarchical structure
- datalog queries
- monadic datalog
- datalog programs
- lower level
- higher level
- markov chain
- low level
- default logic
- special case
- high level
- first order logic
- data complexity
- default theories
- relational databases
- class hierarchy
- hierarchically organized
- knowledge base
- artificial intelligence