Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects.
Bruno CourcellePublished in: ICALP (1) (2008)
Keyphrases
- graph structure
- monadic second order logic
- expressive power
- data complexity
- graphical models
- regular expressions
- tree automata
- first order logic
- graph structures
- query language
- directed acyclic
- directed graph
- natural language
- tree structure
- weighted graph
- undirected graph
- object oriented
- graph representations
- knowledge base
- artificial intelligence