Logics in Artificial Intelligence by David Pearce & Craig Macnish