Coalgebraic Semantics of Heavy-Weighted Automata.

Marie Fortin Marcello M. Bonsangue Jan Rutten

Published in: WADT (2014)

Keyphrases

formal semantics
logic programming
weighted sum
cellular automata
tree automata
information systems
semantic information
weighted distance
logical language
argumentation semantics