Computational Intelligence : A Logical Approach - David Poole (Oxford University Newyork, 2008)