Knowledge representation and reasoning - Brachman, Ronald J., 1949-; Levesque, Hector J., 1951- (Amsterdam ; Boston : Morgan Kaufmann, 2004)
Includes bibliographical references (p. 349-375) and index.
Keywords: Knowledge representation (Information theory); Reasoning