Final Semantics for Decorated Traces.

Filippo Bonchi Marcello M. Bonsangue Georgiana Caltais Jan J. M. M. Rutten Alexandra Silva

Published in: MFPS (2012)

Keyphrases

formal semantics
semantic representation
logical language
multiscale
evolutionary algorithm
logic programming
default reasoning
nonmonotonic logics