The logic of adaptive behavior [ knowledge representation and algorithms for adaptive sequential decision making under uncertainty in first-order and relational domains - Otterlo, Martijn van (Frontiers in artificial intelligence and applications, 2009)