| 000 | 03217nam a22003977a 4500 | ||
|---|---|---|---|
| 003 | APU | ||
| 005 | 20240424123406.0 | ||
| 008 | 200702s2018 nyua fob 001 0deng d | ||
| 020 | _a1970001968 (paperback) | ||
| 020 | _a9781970001976 (hardcover) | ||
| 020 | _a9781970001969 (paperback) | ||
| 020 | _a9781970001990 (epub) | ||
| 020 | _a9781970001983 (pdf) | ||
| 040 |
_aAPU _beng _cAPU _dWAN _dSF |
||
| 050 |
_aQA76.63 _b.D43 2018 |
||
| 082 |
_a005.115 _bK47D 2018 |
||
| 245 | 0 | 0 |
_aDeclarative logic programming : _btheory, systems, and applications / _c[edited by] Michael Kifer, Yanhong Annie Liu. |
| 260 |
_a[New York] : _bACM, Association for Computing Machinery |
||
| 260 |
_a[San Rafael, California] : _bM & C, Morgan & Claypool Publishers, _cc2018. |
||
| 300 |
_axx, 595 pages : _billustrations (some color) ; _c24 cm |
||
| 300 |
_a1 online resouce (xx, 595 pages :) _billustrations (some color) ; |
||
| 490 |
_aACM books, _v2374-6777 ; _x#20. |
||
| 500 | _aThe idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S. Warren's fundamental contributions to Computer Science and the area of Logic Programming in particular.--Preface. | ||
| 504 | _aIncludes bibliographical references and index. | ||
| 505 | _aDatalog : concepts, history, and outlook / David Maier, K. Tuncay Tekle, Michael Kifer, David S. Warren -- An introduction to the stable and well-founded semantics of logic programs / Miroslaw Truszcynski -- A survey of probabilistic logic programming / Fabrizio Riguzzi, Theresa Swift -- WAM for everyone : a virtual machine for logic programming / David S. Warren -- Predicate logic as a modeling language : the IDP system / Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Gerda Janssens, Marc Denecker -- SolverBlox : algebraic modeling in datalog / Conrado Borraz-Sánchez, Diego Klabjan, Emir Pasalic, Molham Aref -- Exploring life : answer set programming in bioinformatics / Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli -- State-space search with tabled logic programs / C.R. Ramakrishnan -- Natural language processing with (tabled and constraint) logic programing / Henning Christiansen, Verónica Dahl -- Logic programming applications : what are the abstractions and implementations? / Yanhong A. Liu. | ||
| 520 | _aThe goal of this book is to help fill in the previously mentioned void in the LP literature. It offers a number of overviews on key aspects of LP that are suitable for researchers and practitioners as well as graduate students. The following chapters in theory, systems, and applications of LP are included. | ||
| 530 |
_aItem is also available in electronic format. _bAvailable in ACM Digital Library. |
||
| 538 | _aMode of access: World Wide Web. System requirements: Adobe Acrobat Reader. | ||
| 650 | 0 |
_aLogic programming. _945792 |
|
| 650 | 0 |
_aDeclarative programming. _945793 |
|
| 700 | 1 |
_aKifer, Michael. _945794 |
|
| 700 | 1 |
_aLiu, Yanhong Annie. _945795 |
|
| 830 |
_aACM books ; _947379 |
||
| 856 |
_uhttps://dl-acm-org.ezproxy.apu.edu.my/doi/book/10.1145/3191315 _zAvailable in ACM Digital Library. Requires Log In to view full text. |
||
| 942 |
_2lcc _cBook |
||
| 999 |
_c383094 _d383094 |
||