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