On the intuitionistic strength of monotone inductive definitions.
Sergei TupailoPublished in: J. Symb. Log. (2004)
Keyphrases
- linear logic
- inductive learning
- interval valued
- fuzzy set theory
- inductive inference
- upper bound
- inductive concept learning
- fuzzy sets
- theorem prover
- knowledge representation
- inductive logic programming
- uniform distribution
- artificial neural networks
- information systems
- boolean functions
- concept learning
- search engine
- machine learning
- neural network
- databases
- precise definition
- functional programs
- database