An institution theory of formal meta-modelling in graphically extended BNF.

Published in: Frontiers Comput. Sci. China (2012)

Keyphrases

mathematical theory
formal methods
theoretical basis
formal models
database

meta level
formal model
information retrieval
causal reasoning
formal languages

mathematical foundations
general theory
information theory
computational model
multi agent

decision trees
image processing
genetic algorithm
real world
data sets