Inductive definitions over a predicative arithmetic.
Stanley S. WainerRichard S. WilliamsPublished in: Ann. Pure Appl. Log. (2005)
Keyphrases
- inductive learning
- machine learning
- arithmetic operations
- inductive reasoning
- inductive inference
- concept learning
- digital libraries
- rule learning
- database
- knowledge representation
- precise definition
- floating point
- inductive logic programming
- special case
- evolutionary algorithm
- preprocessing
- multimedia
- real world
- databases