Login / Signup
Meta Reasoning in ACL2.
Warren A. Hunt Jr.
Matt Kaufmann
Robert Bellarmine Krug
J Strother Moore
Eric Whitman Smith
Published in:
TPHOLs (2005)
Keyphrases
</>
meta reasoning
natural language learning
control knowledge
case based planning
evolutionary algorithm
particle swarm optimization