Login / Signup

Meta Reasoning in ACL2.

Warren A. Hunt Jr.Matt KaufmannRobert Bellarmine KrugJ Strother MooreEric Whitman Smith
Published in: TPHOLs (2005)
Keyphrases
  • meta reasoning
  • natural language learning
  • control knowledge
  • case based planning
  • evolutionary algorithm
  • particle swarm optimization