[4] | 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. |
[3] | Pdk: The system and its language (Cialdea Mayer, Marta, Limongelli, Carla, Orlandini, Andrea and Poggioni, Valentina), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 3702 LNAI, 2005. |
[2] | Planning with graded fluents and actions (Cialdea, Marta, Limongelli, Carla, Orlandini, Andrea and Poggioni, Valentina), In IJCAI International Joint Conference on Artificial Intelligence, 2005. |
[1] | Planning under uncertainty in linear time logic (Cialdea Mayer, Marta, Limongelli, Carla, Orlandini, Andrea and Poggioni, Valentina), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2829, 2003. |