GMeta: A Generic Formal Metatheory Framework for First-Order Representations.

Gyesik Lee Bruno C. d. S. Oliveira Sungkeun Cho Kwangkeun Yi

Published in: ESOP (2012)

Keyphrases

main contribution
lightweight
data sets
genetic algorithm
first order logic
generic model
neural network
real world
artificial intelligence
similarity measure
hidden markov models
software engineering
formal model
meta level
representation scheme
mathematical foundations