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