Transition graphs semantics and languages.
Marisa Venturini ZilliPublished in: Symposium on Computation Theory (1984)
Keyphrases
- database query languages
- formal semantics
- highly expressive
- expressive power
- language independent
- databases
- logic programming
- knowledge representation languages
- graph properties
- graph theory
- cross lingual
- graph databases
- relational query languages
- structured objects
- formal languages
- formal language
- graph representation
- text summarization
- graph matching
- random graphs
- grammatical inference
- language identification
- logical formulas
- graph model
- machine translation
- database languages
- first order logic
- semantic information
- closed world assumption
- query language