005.131 <br/>
       Answer set solving in practice  [electronic resource] / 
 / Martin Gebser ... [et al.]. 
 .- San Rafael, Calif. (1537 Fourth Street, San Rafael, CA  94901 USA) :: Morgan & Claypool,,  c2013. 
 .- 1 electronic text (xxv, 212 p.) :.  ill., digital file. 
  ** Synthesis lectures on artificial intelligence and machine learning,  *  # 19  1939-4616 ;  )
<br/><label>LC Class. No.: </label>QA76.615  / .A588 2013 
 - Synthesis digital library of engineering and computer science. Synthesis lectures on artificial intelligence and machine learning ;  # 19. .
<br/>Part of: Synthesis digital library of engineering and computer science. Series from website. 
<br/>Includes bibliographical references (p. 183-205) and index. 
<br/> Abstract freely available; full-text restricted to subscribers or individual document purchasers. 
<br/> Compendex  INSPEC  Google scholar  Google book search 
<br/>
<br/><br/>Mode of access: World Wide Web. <br/>System requirements: Adobe Acrobat Reader. 
<br><u>ISBN:</u> 9781608459728 (electronic bk.) 
<br/><label>Standard No.: </label>10.2200/S00457ED1V01Y201211AIM019  doi 
<br/><u>Subject Headings:</u> <br/>Declarative programming.;<br/>Logic programming.;<br/>Knowledge representation (Information theory);
<br/><label>Subjects--Index Terms: </label>answer set programming declarative problem solving logic programming 
<br/><U>Author Added Entry: </u><br/>Gebser, Martin.;
<br><U>Copy Details:</u><br> Acc. No.: <b>EBKE453</b>, Full Call No.: ,   Item type:  E books , Location: , <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>