Transitivity, supertransitivity and induction.
William Russell BeldingRichard L. PossPaul J. WelshPublished in: Notre Dame J. Formal Log. (1972)
Keyphrases
- digital libraries
- inductive learning
- attribute oriented
- inductive logic programming
- constructive induction
- real time
- concept learning
- rule induction
- artificial intelligence
- program synthesis
- machine learning
- neural network
- version space
- database
- functional programs
- fuzzy relations
- support vector
- optimal solution
- multiscale
- bayesian networks
- computer vision