A method for the online construction of the set of states of a Markov Decision Process using Answer Set Programming
answer set solving in practice .