Learnability in Inductive Logic Programrning: Some Basic Results and Techniques.
Michael FrazierC. David Page Jr.Published in: AAAI (1993)
Keyphrases
- deductive reasoning
- inductive inference
- inductive logic programming
- learning algorithm
- machine learning
- inductive learning
- recursive programs
- finite automata
- uniform distribution
- modal logic
- logic programming
- boolean functions
- asynchronous circuits
- classical logic
- predicate logic
- uniform convergence
- program synthesis
- functional programs
- neural network
- concept learning
- multi valued
- logical framework
- inductive reasoning
- decision trees