Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications.
Bruno CourcellePublished in: LATA (2009)
Keyphrases
- monadic second order logic
- expressive power
- data complexity
- regular expressions
- query language
- first order logic
- tree automata
- programming language
- natural language
- graph theory
- rough sets
- artificial intelligence
- language learning
- np complete
- business intelligence
- natural language processing
- conjunctive queries
- graph matching
- information extraction
- data analysis
- representation language
- knowledge base