Inductive Complexity of Goodstein's Theorem.

Published in: UCNC (2012)

Keyphrases

inductive learning
concept learning
machine learning
inductive logic programming
databases
learning algorithm
image processing
image segmentation
optimal solution
computational complexity
evolutionary algorithm
computational cost
probabilistic model
belief revision