%0 Conference Paper %1 conf/aimsa/CerritoM98 %A Cerrito, Serenella %A Mayer, Marta Cialdea %B AIMSA %D 1998 %E Giunchiglia, Fausto %I Springer %K dblp %P 141-152 %T Using Linear Temporal Logic to Model and Solve Planning Problems. %U http://dblp.uni-trier.de/db/conf/aimsa/aimsa1998.html#CerritoM98 %V 1480 %@ 3-540-64993-X

@inproceedings{conf/aimsa/CerritoM98, added-at = {2017-03-16T00:00:00.000+0100}, author = {Cerrito, Serenella and Mayer, Marta Cialdea}, biburl = {https://www.bibsonomy.org/bibtex/24012e3e719e97c14c5ea37eda08d85be/dblp}, booktitle = {AIMSA}, crossref = {conf/aimsa/1998}, editor = {Giunchiglia, Fausto}, ee = {http://dx.doi.org/10.1007/BFb0057441}, interhash = {115092399b6185faa3fa71703cf9e4a0}, intrahash = {4012e3e719e97c14c5ea37eda08d85be}, isbn = {3-540-64993-X}, keywords = {dblp}, pages = {141-152}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-03-17T11:37:40.000+0100}, title = {Using Linear Temporal Logic to Model and Solve Planning Problems.}, url = {http://dblp.uni-trier.de/db/conf/aimsa/aimsa1998.html#CerritoM98}, volume = 1480, year = 1998 }