The logic of knowledge bases - Levesque, Hector J., 1951- (MIT Press, 2000)