A Note on Synthesis of Inductive Assertions.
Sanat K. BasuPublished in: IEEE Trans. Software Eng. (1980)
Keyphrases
- functional programs
- knowledge base
- inductive learning
- databases
- machine learning
- inductive inference
- real time
- search engine
- reinforcement learning
- program synthesis
- logic programs
- inductive logic programming
- onset detection
- inductive reasoning
- concept learning
- knowledge representation
- multiresolution
- artificial intelligence
- neural network