From Unification Compactness to Learnability.
Jacek MarciniecPublished in: Fundam. Informaticae (2007)
Keyphrases
- finite automata
- higher order
- boolean functions
- uniform convergence
- learning algorithm
- pattern languages
- theorem proving
- pac learning
- pac learnability
- uniform distribution
- inductive logic programming
- inductive inference
- monotone dnf formulas
- class separability
- theorem prover
- membership queries
- agnostic learning
- vapnik chervonenkis dimension
- knuth bendix
- equational theories
- machine learning
- pattern matching
- positive data
- exact learning
- dnf formulas
- decision trees
- knowledge base