A method for the online construction of the set of states of a Markov Decision Process using Answer Set Programming
the stable model semantics for logic programming .