A Compilation of the Full PDDL+ Language into SMT.

Michael Cashmore Maria Fox Derek Long Daniele Magazzeni

Published in: AAAI Workshop: Planning for Hybrid Systems (2016)

Keyphrases

definition language
programming language
natural language
language learning
language processing
dynamic programming
planning domains
specification language
programs written
modeling language
soft constraints
statistical machine translation