Situation Calculus Temporally Lifted Abstractions for Generalized Planning.

Giuseppe De Giacomo, Yves Lesprance, Matteo Mancanelli

Browse the full AAAI paper archive.