HOL with Definitions: Semantics, Soundness, and a Verified Implementation.

Ramana Kumar Rob Arthan Magnus O. Myreen Scott Owens

Published in: ITP (2014)

Keyphrases

specification language
real time
neural network
higher order logic
artificial intelligence
data sets
genetic algorithm
higher order
implementation issues
machine learning
high level
relational databases
query language
semantic information
theorem proving