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