Classical Planning as QBF without Grounding (extended version).

Irfansha Shaik Jaco van de Pol

Published in: CoRR (2021)

Keyphrases

classical planning
planning problems
domain independent
heuristic search
larger problems
state space
initial state
planning domains
quantified boolean formulas
ai planning
probabilistic planning
conformant planning
sensing actions