conftrace_

search control knowledge

2 papers

Explore in graph

Also known as

SCK

Co-occurring keywords · papers mentioning both

task decomposition graph (1) plan quality (1) decision procedure (1) separation logic (1) htn planning (1) admissible heuristic (1) task decomposition (1) temporal logic (1) planning algorithm (1) heuristic search (1)

Papers

An Admissible HTN Planning Heuristic IJCAI 2017 Temporalising Separation Logic for Planning with Search Control Knowledge IJCAI 2017