%0 Conference Paper %1 conf/ecai/CashmoreFG12 %A Cashmore, Michael %A Fox, Maria %A Giunchiglia, Enrico %B ECAI %D 2012 %E Raedt, Luc De %E Bessiere, Christian %E Dubois, Didier %E Doherty, Patrick %E Frasconi, Paolo %E Heintz, Fredrik %E Lucas, Peter J. F. %I IOS Press %K dblp %P 217-222 %T Planning as Quantified Boolean Formula. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2012.html#CashmoreFG12 %V 242 %@ 978-1-61499-097-0

@inproceedings{conf/ecai/CashmoreFG12, added-at = {2022-10-02T00:00:00.000+0200}, author = {Cashmore, Michael and Fox, Maria and Giunchiglia, Enrico}, biburl = {https://www.bibsonomy.org/bibtex/2276b8ea39eec0fb79cdec1f98f2831be/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/2012}, editor = {Raedt, Luc De and Bessiere, Christian and Dubois, Didier and Doherty, Patrick and Frasconi, Paolo and Heintz, Fredrik and Lucas, Peter J. F.}, ee = {https://doi.org/10.3233/978-1-61499-098-7-217}, interhash = {856990fddb3535e2c91d256d705c557b}, intrahash = {276b8ea39eec0fb79cdec1f98f2831be}, isbn = {978-1-61499-097-0}, keywords = {dblp}, pages = {217-222}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-04-09T18:46:36.000+0200}, title = {Planning as Quantified Boolean Formula.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2012.html#CashmoreFG12}, volume = 242, year = 2012 }