Discovery of invariants through automated theory formation.

Maria Teresa Llano Andrew Ireland Alison Pease

Published in: Formal Aspects Comput. (2014)

Keyphrases

fully automated
automated analysis
semi automated
theoretical framework
neural network
theoretical basis
computational model
knowledge discovery
video sequences
image processing
e learning
social networks
data driven
multi agent
semi automatic
information theory
pattern discovery
databases
formal theory