A Reasoning Engine for the Gamification of Loop-Invariant Discovery.

Andrew Walter Seth Cooper Panagiotis Manolios

Published in: CoRR (2021)

Keyphrases

learning algorithm
reasoning engine
knowledge base
ontology reasoning
machine learning
user experience
affine transformation
knowledge discovery
feedback loop
scientific discovery
data mining
abstract interpretation
multiscale
expert systems
database
serious games
moment invariants
data sets