Baral, Chitta <br/><br/>
Knowledge representation, reasoning and declarative problem solving 

 - Cambridge  Cambridge University Press  2003 
 - xiv, 530 p. 
<br/><br/><label>ISBN: </label>0521818028 
<br/><br/><label>Subjects--Topical Terms: </label><br/>ARTIFICIAL INTELLIGENCE<br/>EXPERT SYSTEMS<br/>INFORMATION THEORY<br/>Knowledge representation<br/>Problem solving<br/>PROLOG<br/>REASONING
<br/><br/><label>Dewey Class. No.: </label>006.33  / BAR