The logic of knowledge bases [electronic resource] - Levesque, Hector J. , 1951-; Lakemeyer, Gerhard (MIT Press, 2000)