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