Login / Signup

Discovery of Invariants through Automated Theory Formation

Maria Teresa LlanoAndrew IrelandAlison Pease
Published in: Refine@FM (2011)
Keyphrases
  • automated analysis
  • theoretical basis
  • data mining
  • databases
  • genetic algorithm
  • data analysis
  • semi automated
  • discovery process
  • machine learning
  • theoretical framework
  • pattern discovery
  • fully automated
  • formal theory