Login / Signup

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection.

Jason HickeyAleksey NoginXin YuAlexei Kopylov
Published in: ICFP (2006)
Keyphrases
  • meta reasoning
  • machine learning
  • learning algorithm
  • web services
  • orders of magnitude