Proof-producing translation of higher-order logic into pure and stateful ML.

Magnus O. Myreen Scott Owens

Published in: J. Funct. Program. (2014)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
maximum likelihood
machine translation
automated reasoning
theorem proving
first order logic
artificial intelligence
programming language
temporal information
default reasoning