Knowledge representation and reasoning - Brachman, Ronald J.; Levesque, Hector J. (Morgan Kaufmann, 2004)
Keywords: Knowledge representation (Information theory); Reasoning