Computional intelligence a logical approach - Poole, David (eds) (OUP, New York, 1998)