Brachman, Ronald J., <br/><br/>
Knowledge representation and reasoning 
Ronald J. Brachman, Hector J. Levesque. 
 - Boston :  Morgan Kaufmann,  c2004. 
 - xxix, 381 p. : 
<br/><br/> Title from e-book home page (ScienceDirect, viewed Jan. 22, 2009) 
<br/><br/><label>ISBN: </label>1558609326 9781558609327 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Knowledge representation (Information theory)<br/>Reasoning.