A mathematical framework for the semantics of symbolic languages representing periodic time.

Lavinia Egidi Paolo Terenziani

Published in: Ann. Math. Artif. Intell. (2006)

Keyphrases

mathematical framework
image formation
highly expressive
expressive power
graphical representation
formal semantics
formal language
high level
language independent
constraint language
logic programming
spatio temporal
signal processing
single image
semantic information
linguistic expressions