The logic of adaptive behavior : knowledge representation and algorithms for the Markov decision process framework in first-order domains

Martijn Van Otterlo. The logic of adaptive behavior : knowledge representation and algorithms for the Markov decision process framework in first-order domains. PhD thesis, University of Twente, Enschede, Netherlands, 2008. [doi]