The logic of knowledge bases - Levesque, Hector J.; Lakemeyer, Gerhard (MIT Press, 2000)
Keywords: Expert systems (Computer science); Knowledge representation (Information theory); Logic, Symbolic and mathematical; Logique symbolique et mathematique