Heuristic Methods for Mechanically Deriving Inductive Assertions.
Ben WegbreitPublished in: IJCAI (1973)
Keyphrases
- heuristic methods
- tabu search
- optimal solution
- inductive learning
- efficient solutions
- machine learning
- variable neighborhood search
- exact algorithms
- knowledge base
- inductive inference
- theorem prover
- inductive logic programming
- inductive concept learning
- simulated annealing
- decision trees
- real world
- concept learning
- databases
- knowledge representation
- evolutionary algorithm
- deductive reasoning