%0 Journal Article %1 journals/jolli/MayerLOP07 %A Mayer, Marta Cialdea %A Limongelli, Carla %A Orlandini, Andrea %A Poggioni, Valentina %D 2007 %J J. Log. Lang. Inf. %K dblp %N 1 %P 63-89 %T Linear temporal logic as an executable semantics for planning languages. %U http://dblp.uni-trier.de/db/journals/jolli/jolli16.html#MayerLOP07 %V 16

@article{journals/jolli/MayerLOP07, added-at = {2020-09-17T00:00:00.000+0200}, author = {Mayer, Marta Cialdea and Limongelli, Carla and Orlandini, Andrea and Poggioni, Valentina}, biburl = {https://www.bibsonomy.org/bibtex/2504d50f8bdb3c6523801d9d85cad25bc/dblp}, ee = {https://www.wikidata.org/entity/Q58615466}, interhash = {b2ccf0c3376a822fe1a6728e0ee246ee}, intrahash = {504d50f8bdb3c6523801d9d85cad25bc}, journal = {J. Log. Lang. Inf.}, keywords = {dblp}, number = 1, pages = {63-89}, timestamp = {2020-09-18T11:45:25.000+0200}, title = {Linear temporal logic as an executable semantics for planning languages.}, url = {http://dblp.uni-trier.de/db/journals/jolli/jolli16.html#MayerLOP07}, volume = 16, year = 2007 }