000 -LEADER |
fixed length control field |
03217nam a22003977a 4500 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
APU |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20240424123406.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
200702s2018 nyua fob 001 0deng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
1970001968 (paperback) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781970001976 (hardcover) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781970001969 (paperback) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781970001990 (epub) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781970001983 (pdf) |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
APU |
Language of cataloging |
eng |
Transcribing agency |
APU |
Modifying agency |
WAN |
-- |
SF |
050 ## - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA76.63 |
Item number |
.D43 2018 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
005.115 |
Item number |
K47D 2018 |
245 00 - TITLE STATEMENT |
Title |
Declarative logic programming : |
Remainder of title |
theory, systems, and applications / |
Statement of responsibility, etc |
[edited by] Michael Kifer, Yanhong Annie Liu. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
[New York] : |
Name of publisher, distributor, etc |
ACM, Association for Computing Machinery |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
[San Rafael, California] : |
Name of publisher, distributor, etc |
M & C, Morgan & Claypool Publishers, |
Date of publication, distribution, etc |
c2018. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xx, 595 pages : |
Other physical details |
illustrations (some color) ; |
Dimensions |
24 cm |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resouce (xx, 595 pages :) |
Other physical details |
illustrations (some color) ; |
490 ## - SERIES STATEMENT |
Series statement |
ACM books, |
Volume number/sequential designation |
2374-6777 ; |
International Standard Serial Number |
#20. |
500 ## - GENERAL NOTE |
General note |
The 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 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references and index. |
505 ## - FORMATTED CONTENTS NOTE |
Formatted contents note |
Datalog : 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 --<br/>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 ## - SUMMARY, ETC. |
Summary, etc |
The 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 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE |
Additional physical form available note |
Item is also available in electronic format. |
Availability source |
Available in ACM Digital Library. |
538 ## - SYSTEM DETAILS NOTE |
System details note |
Mode of access: World Wide Web.<br/>System requirements: Adobe Acrobat Reader. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Logic programming. |
9 (RLIN) |
45792 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Declarative programming. |
9 (RLIN) |
45793 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Kifer, Michael. |
9 (RLIN) |
45794 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Liu, Yanhong Annie. |
9 (RLIN) |
45795 |
830 ## - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
ACM books ; |
9 (RLIN) |
47379 |
856 ## - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
https://dl-acm-org.ezproxy.apu.edu.my/doi/book/10.1145/3191315 |
Public note |
Available in ACM Digital Library. Requires Log In to view full text. |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Koha item type |
Book |