Levesque, Hector J.,  1951- <br/><br/>
The logic of knowledge bases / 
and Gerhard Lakemeyer 
 - Cambridge, Mass. :  MIT Press,  2000 
 - 282 p. 
<br/><br/><label>ISBN: </label>0262122324 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Knowledge representation (Information theory)<br/>Expert systems (Computer science)<br/>Logic, Symbolic and mathematical