Conditional Lemma Discovery and Recursion Induction in Hipster.
Irene Lobo ValbuenaMoa JohanssonPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2015)
Keyphrases
- discovery process
- knowledge discovery
- random field model
- deductive databases
- machine learning
- data mining
- inductive learning
- subgroup discovery
- artificial intelligence
- multiscale
- concept learning
- concept formation
- automatically discovering
- constructive induction
- scientific discovery
- program synthesis
- real time
- datalog programs
- version space
- rule induction
- explanation based learning
- pattern discovery
- rough sets
- web services