Login / Signup

Formalized, Effective Domain Theory in Coq.

Robert Dockins
Published in: ITP (2014)
Keyphrases
  • domain theory
  • explanation based learning
  • background knowledge
  • inductive learning
  • complex domains
  • domain knowledge
  • databases
  • decision trees
  • inductive logic programming
  • version spaces