Discussion

In this section, we discuss two central issues: island processing and the formal properties of HUNTER-GATHERER.

• Planning and Island Processing
• Formal Properties of HUNTER-GATHER: Soundness and Completeness
  • Soundness
  • Completeness