Login / Signup

Temporalising Separation Logic for Planning with Search Control Knowledge.

Xu LuCong TianZhenhua Duan
Published in: IJCAI (2017)
Keyphrases
  • search control knowledge
  • explanation based learning
  • planning problems
  • logic programming
  • modal logic
  • learning mechanism
  • multi valued
  • classical logic
  • ai planning
  • machine learning
  • search algorithm
  • heuristic search