Login / Signup
Proof-producing synthesis of ML from higher-order logic.
Magnus O. Myreen
Scott Owens
Published in:
ICFP (2012)
Keyphrases
</>
higher order logic
higher order
theorem prover
maximum likelihood
conditional logic
logical framework
data representation
theorem proving
knowledge base
first order logic
high level
belief revision
modal logic