Logics in Artificial Intelligence - Fisher, Michael (Springer Berlin Heidelberg, 2006)