C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Temporalising Separation Logic for Planning with Search Control Knowledge.
Xu Lu
Cong Tian
Zhenhua 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