An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf.

Carsten Schürmann Mark-Oliver Stehr

Published in: LPAR (2006)

Keyphrases

main contribution
neural network
data mining
genetic algorithm
reinforcement learning
relational databases
theoretical framework
theorem proving
context dependent
computational framework
framework enables