Meta-extract: Using Existing Facts in Meta-reasoning.

Matt Kaufmann Sol Swords

Published in: ACL2 (2017)

Keyphrases

meta reasoning
control knowledge
knowledge base
case based planning
genetic algorithm
artificial intelligence
state space
case based reasoning
general purpose
open systems