• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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