Unfolding semantics of graph transformation.

Paolo Baldan Andrea Corradini Ugo Montanari Leila Ribeiro

Published in: Inf. Comput. (2007)

Keyphrases

graph transformation
formal semantics
data structure
genetic algorithm
conceptual graphs
integrity constraints
argumentation semantics
logical language
proof theory
operational semantics
belief revision
database
expressive power
semantic information
artificial intelligence
learning algorithm
real time