David Poole Computational Intelligence : A Logical Approach - 1 - Oxford University Newyork 2008 Dewey Class. No.: 006.342