Attributed translations

Translations

Symbolic Attributed Graphs for Attributed Graph Transformation

In this paper we present a new approach to deal with attributed graphs and attributed graph transformation. This approach is based on working with what we call symbolic graphs, which are graphs labelled with variables together with a formula that constrains the possible values that we may assign to these variables. In particular, in this paper we will compare in detail this new approach with th...

Possible - Translations

This text aims at providing a bird's eye view of possible-translations semantics ([10, 24]), defined, developed and illustrated as a very comprehensive formalism for obtaining or for representing semantics for all sorts of logics. With that tool, a wide class of complex logics will very naturally turn out to be (de)composable by way of some suitable combination of simpler logics. Several exampl...

Maintenance of self-attributed and drug-attributed behavior change.

It is proposed that behavior changes which are believed to be brought about by oneself will be maintained to a greater degree than behavior changes which are believed to be due to external forces or agents. Within the framework of psychoactive drug therapy, a change in overt behavior which is attributed to cue's own efforts should be more persistent than a change in overt behavior which Is attr...

Possible - Translations Semantics

This text aims at providing a bird’s eye view of possible-translations semantics ([10, 24]), defined, developed and illustrated as a very comprehensive formalism for obtaining or for representing semantics for all sorts of logics. With that tool, a wide class of complex logics will very naturally turn out to be (de)composable by way of some suitable combination of simpler logics. Several exampl...