Hector J. Levesque-Gerhard Lakemeyer <br/><br/>
The Logic of Knowledge Bases 

 -  The MIT Press  2000 
<br/><br/><label>ISBN: </label>9780262122320 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Artificial Intelligence <br/> General<br/>COMPUTERS <br/>Expert systems (Computer science),Knowledge representation (Information theory),Logic, Symbolic and mathematical.