A Compilation of the Full PDDL+ Language into SMT.

Michael Cashmore Maria Fox Derek Long Daniele Magazzeni

Published in: ICAPS (2016)

Keyphrases

definition language
natural language
language learning
ai planning
situation calculus
np hard
modeling language
planning domains