Relating Weight Constraint and Aggregate Programs: Semantics and Representation
Guohua LiuJia-Huai YouPublished in: CoRR (2011)
Keyphrases
- semantic representation
- formal semantics
- highly expressive
- conceptual graphs
- representation scheme
- linear constraints
- neural network
- aggregate functions
- soft constraints
- fixpoint semantics
- database languages
- normal logic programs
- transformation rules
- control flow
- stable models
- graphical representation
- conceptual model
- natural language
- image sequences