Enrico Scala. Numeric Kernel for Reasoning about Plans Involving Numeric Fluents. In Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio, editors, AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings. Volume 8249 of Lecture Notes in Computer Science, pages 263-275, Springer, 2013. [doi]
Abstract is missing.