Two-Level Meta-reasoning in Coq.

Published in: TPHOLs (2002)

Keyphrases

meta reasoning
formal methods
theorem prover
control knowledge
case based planning
domain independent
artificial intelligence
prior knowledge
domain knowledge
domain specific
genetic programming
orders of magnitude