Constructive semantics for instantaneous reactions.

Joaquín Aguado Michael Mendler

Published in: GALOP@ETAPS (2005)

Keyphrases

formal semantics
computer vision
semantic information
data mining
image sequences
logic programming
query language
programming language
conceptual graphs
operational semantics
transformation rules
intended meaning