An Algebraic Semantics for MOF.

Artur Boronat José Meseguer

Published in: FASE (2008)

Keyphrases

formal semantics
case study
semantic representation
real time
expert systems
conceptual model
reasoning mechanism
database
databases
neural network
genetic algorithm
database systems
image sequences
semantic information
conceptual graphs
transformation rules