I don’t say that Imperfect Shadow Maps are static, but from last paper I read, I gathered that Naugthy Dog solution was static.
As for AO and Indirect Shadows. These terms are used pretty interchangeable, that is why there is clear distinction between various xxxxAO techniques (which are usually screen space approximated), and just AO (which is not approximated but calculated from all geometry).