%0 Conference Paper %1 conf/aaai/CashmoreFLM16 %A Cashmore, Michael %A Fox, Maria %A Long, Derek %A Magazzeni, Daniele %B AAAI Workshop: Planning for Hybrid Systems %D 2016 %E Magazzeni, Daniele %E Sanner, Scott %E Thiébaux, Sylvie %I AAAI Press %K %T A Compilation of the Full PDDL+ Language into SMT. %U http://dblp.uni-trier.de/db/conf/aaai/hybrid2016.html#CashmoreFLM16 %V WS-16-12 %@ 978-1-57735-759-9

@inproceedings{conf/aaai/CashmoreFLM16, added-at = {2023-12-14T14:57:44.000+0100}, author = {Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele}, biburl = {https://www.bibsonomy.org/bibtex/2ae6e86dcf7b61cea59a85310d90bff98/admin}, booktitle = {AAAI Workshop: Planning for Hybrid Systems}, crossref = {conf/aaai/2016hybrid}, editor = {Magazzeni, Daniele and Sanner, Scott and Thiébaux, Sylvie}, ee = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12589}, interhash = {e5735d31c692ccefbed59c493f5a24f7}, intrahash = {ae6e86dcf7b61cea59a85310d90bff98}, isbn = {978-1-57735-759-9}, keywords = {}, publisher = {AAAI Press}, series = {AAAI Workshops}, timestamp = {2023-12-14T14:57:44.000+0100}, title = {A Compilation of the Full PDDL+ Language into SMT.}, url = {http://dblp.uni-trier.de/db/conf/aaai/hybrid2016.html#CashmoreFLM16}, volume = {WS-16-12}, year = 2016 }