Brachman, Ronald J. and Hector .J. Levesque. <br/><br/>
Knowledge Representation and  Reasoning. 

 - Armsterdam.  Elsevier.  2004. 
 - 381p.  Illustrated. 
<br/><br/><label>ISBN: </label>9781558609327 
<br/><br/><label>LC Class. No.: </label>Q 387  /  .B73 2004