Computational methods for Dynamic Answer Set Programming