Towards Algebraic Semantics of Circus Time.

Kun Wei Jim Woodcock

Published in: UTP (2014)

Keyphrases

algebraic structure
formal semantics
semantic information
logic programming
databases
operational semantics
argumentation semantics
information retrieval
image sequences
domain knowledge