Higher-Order Attribute Semantics of Flat Declarative Languages.
Pavel GrigorenkoEnn TyuguPublished in: Comput. Informatics (2010)
Keyphrases
- higher order
- higher order logic
- declarative language
- database query languages
- highly expressive
- lambda calculus
- formal semantics
- expressive power
- natural images
- attribute values
- high order
- pairwise
- formal language
- conditional random fields
- logic programming
- attribute grammars
- language independent
- low order
- specification languages
- knowledge representation
- high level
- semantic web languages
- aggregate functions
- markov random field
- constraint language
- semantic information
- databases
- database languages
- context free
- lower order
- domain independent
- description logics
- relational query languages