The logic of knowledge bases - Levesque, Hector J., 1951- (MIT Press, 2000)
Keywords: Knowledge representation (Information theory); Expert systems (Computer science); Logic, Symbolic and mathematical.; elektronické knihy; electronic books