The OpenCog (hyper-)graph database and graph rewriting system
MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for...