The logic of knowledge bases [electronic resource] - Levesque, Hector J. 1951-; Lakemeyer, Gerhard; NetLibrary, Inc. (Cambridge, Mass MIT Press, 2000)
Electronic reproduction
Mode of access: World Wide Web
Keywords: Expert systems (Computer science); Knowledge representation (Information theory); Logic, Symbolic and mathematical