Linear temporal logic as an executable semantics for planning languages (bibtex)

by Cialdea Mayer, Marta, Limongelli, Carla, Orlandini, Andrea and Poggioni, Valentina

Reference:

Linear temporal logic as an executable semantics for planning languages (Cialdea Mayer, Marta, Limongelli, Carla, Orlandini, Andrea and Poggioni, Valentina), In Journal of Logic, Language and Information, volume 16, 2007.

Bibtex Entry:

@article{CialdeaMayer200763,
	Author = {Cialdea Mayer, Marta and Limongelli, Carla and Orlandini, Andrea and Poggioni, Valentina},
	Date-Added = {2019-09-16 14:38:36 +0200},
	Date-Modified = {2019-09-16 14:38:36 +0200},
	Document_Type = {Article},
	Doi = {10.1007/s10849-006-9022-1},
	Journal = {Journal of Logic, Language and Information},
	Number = {1},
	Pages = {63-89},
	Source = {Scopus},
	Title = {Linear temporal logic as an executable semantics for planning languages},
	Volume = {16},
	Year = {2007},
	Bdsk-Url-1 = {https://doi.org/10.1007/s10849-006-9022-1}}