Login / Signup

Proof-producing synthesis of ML from higher-order logic.

Magnus O. MyreenScott 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