Relating weight constraint and aggregate programs: Semantics and representation.

Guohua Liu Jia-Huai You

Published in: Theory Pract. Log. Program. (2013)

Keyphrases

semantic representation
formal semantics
image representation
semantic information
conceptual graphs
representation scheme
control flow
aggregate functions
fixpoint semantics
data model
spatial relations
default reasoning
dynamic logic
constraint language
normal logic programs