Brachman, Ronald J., <br/><br/>
Knowledge representation and reasoning / 
Ronald J. Brachman, Hector J. Levesque. 
 - Amsterdam ;  Boston :  Morgan Kaufmann,  c2004. 
 - xxix, 381 p. :  ill. ; 
<br/><br/>Includes bibliographical references (p. 349-375) and index. 
<br/><br/><label>ISBN: </label>1558609326 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Knowledge representation (Information theory)<br/>Reasoning.
<br/><br/><label>Dewey Class. No.: </label>006.3/32