Polynomial induction and length minimization in intuitionistic bounded arithmetic.

Published in: Math. Log. Q. (2005)

Keyphrases

lagrange interpolation
linear logic
interval valued
objective function
low order
inductive learning
total length
fixed length
expert systems
program synthesis
version space
rule induction
maximum number
fuzzy numbers
proof search
bounded degree
concept learning
galois field