AAAI Publications

Long, Derek, Kings College London, United Kingdom

• Workshops at the Thirtieth AAAI Conference on Artificial Intelligence - Planning for Hybrid Systems
  A Compilation of the Full PDDL+ Language into SMT
  Abstract  PDF