The logic of knowledge bases /
Levesque, Hector J.,1951-
Lakemeyer, Gerhard.
Cambridge, Mass. ; London : MIT Press,
c2000.
Includes bibliographical references and index.
Knowledge representation (Information theory)
Expert systems (Computer science)
Logic, Symbolic and mathematical.