An algebraic semantics for MOF.

Artur Boronat José Meseguer

Published in: Formal Aspects Comput. (2010)

Keyphrases

formal semantics
reasoning mechanism
logic programming
semantic information
conceptual model
argumentation semantics
neural network
high level
domain knowledge
search algorithm
situation calculus
conceptual graphs
semantic representation
logical framework
transformation rules
case study
web services