Declarative logic programming : (Record no. 370)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 06418nam a22005171i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 011453191315 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | MOCL |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260528133338.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | m eo d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr cn |||m|||a |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 181002s2018 nyua fob 001 0deng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781970001976 |
| Qualifying information | ebook |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9781970001983 |
| Qualifying information | ePub |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9781970001969 |
| Qualifying information | paperback |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9781970001990 |
| Qualifying information | hardcover |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1145/3191315 |
| Source of number or code | doi |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (CaBNVSL)swl000408712 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)1055420111 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | CaBNVSL |
| Language of cataloging | eng |
| Description conventions | rda |
| Transcribing agency | CaBNVSL |
| Modifying agency | CaBNVSL |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.63 |
| Item number | .K543 2018 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.115 |
| Edition information | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Kifer, M. |
| Fuller form of name | (Michael), |
| Dates associated with a name | 1954-, |
| Relator term | editor, |
| -- | author. |
| 245 10 - TITLE STATEMENT | |
| Title | Declarative logic programming : |
| Remainder of title | theory, systems, and applications / |
| Statement of responsibility, etc. | Michael Kifer, Yanhong Annie Liu. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | First edition. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | [New York] : |
| Name of producer, publisher, distributor, manufacturer | Association for Computing Machinery ; |
| Place of production, publication, distribution, manufacture | [San Rafael, California] : |
| Name of producer, publisher, distributor, manufacturer | Morgan & Claypool, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2018. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 PDF (xx, 595 pages) : |
| Other physical details | illustrations. |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | electronic |
| Source | isbdmedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Source | rdacarrier |
| 490 1# - SERIES STATEMENT | |
| Series statement | ACM books, |
| International Standard Serial Number | 2374-6777 ; |
| Volume/sequential designation | #20 |
| 538 ## - SYSTEM DETAILS NOTE | |
| System details note | Mode of access: World Wide Web. |
| 538 ## - SYSTEM DETAILS NOTE | |
| System details note | System requirements: Adobe Acrobat Reader. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references and index. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Part I. Theory -- 1. Datalog: concepts, history, and outlook / David Maier, K. Tuncay Tekle, Michael Kifer, David S. Warren -- 1.1 Introduction -- 1.2 The emergence of datalog -- 1.3 Coining "datalog" -- 1.4 Extensions to datalog -- 1.5 Evaluation techniques -- 1.6 Early datalog and deductive database systems -- 1.7 The decline and resurgence of datalog -- 1.8 Current systems and comparison -- 1.9 Conclusions -- Acknowledgments -- References -- 2. An introduction to the stable and well-founded semantics of logic programs / Miroslaw Truszczynski -- 2.1 Introduction -- 2.2 Terminology, notation, and other preliminaries -- 2.3 The case of horn logic programs -- 2.4 Moving beyond horn programs: an informal introduction -- 2.5 The stable model semantics -- 2.6 The well-founded model semantics -- 2.7 Concluding remarks -- Acknowledgments -- References -- 3. A survey of probabilistic logic programming / Fabrizio Riguzzi, Theresa Swift -- 3.1 Introduction -- 3.2 Languages with the distribution semantics -- 3.3 Defining the distribution semantics -- 3.4 Other semantics for probabilistic logics -- 3.5 Probabilistic logic programs and Bayesian networks -- 3.6 Inferencing in probabilistic logic programs -- 3.7 Discussion -- Acknowledgments -- References -- |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Part II. Systems -- 4. WAM for everyone: a virtual machine for logic programming / David S. Warren -- 4.1 Introduction -- 4.2 The run-time environment of a traditional procedural language -- 4.3 Deterministic datalog -- 4.4 Deterministic prolog -- 4.5 Nondeterministic prolog -- 4.6 Last call optimization -- 4.7 Indexing -- 4.8 Environment trimming -- 4.9 Features required for full prolog -- 4.10 WAM extensions for tabling -- 4.11 Concluding remarks -- Acknowledgments -- References -- 5. Predicate logic as a modeling language: the IDP system / Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Gerda Janssens, Marc Denecker -- 5.1 Introduction -- 5.2 FO(ID, AGG, PF, T), the formal base language -- 5.3 IDP as a knowledge base system -- 5.4 The IDP language -- 5.5 Advanced features -- 5.6 Under the hood -- 5.7 In practice -- 5.8 Related work -- 5.9 Conclusion -- References -- 6. SolverBlox: algebraic modeling in datalog / Conrado Borraz-Sanchez, Diego Klabjan, Emir Pasalic, Molham Aref -- 6.1 Introduction -- 6.2 Datalog -- 6.3 LogicBlox and LogiQL -- 6.4 Mathematical programming with LogiQL -- 6.5 The traveling salesman problem (TSP) test case -- 6.6 Conclusions and future work -- References -- |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Part III. Applications -- 7. Exploring life: answer set programming in bioinformatics / Alessandro Dal Palu, Agostino Dovier, Andrea Formisano, Enrico Pontelli -- 7.1 Introduction -- 7.2 Biology in a nutshell -- 7.3 Answer set programming in a nutshell -- 7.4 Phylogenetics -- 7.5 Haplotype inference -- 7.6 RNA secondary structure prediction -- 7.7 Protein structure prediction -- 7.8 Systems biology -- 7.9 Other logic programming approaches -- 7.10 Conclusions -- Acknowledgments -- References -- 8. State-space search with tabled logic programs / C. R. Ramakrishnan -- 8.1 Introduction -- 8.2 Finite-state model checking -- 8.3 Infinite-state model checking -- 8.4 Simple planning via tabled search -- 8.5 Discussion -- Acknowledgments -- References -- 9. Natural language processing with (tabled and constraint) logic programming / Henning Christiansen, Veronica Dahl -- 9.1 Introduction -- 9.2 Tabling, LP, and NLP -- 9.3 Tabled logic programming and definite clause grammars -- 9.4 Using extra arguments for linguistic information -- 9.5 Assumption grammars: DCGs plus global memory -- 9.6 Constraint handling rules and their application to language processing -- 9.7 Hypothetical reasoning with CHR and Prolog: Hyprolog -- 9.8 A note on the usefulness of probabilistic logic programming for language processing -- 9.9 Conclusion -- References -- 10. Logic programming applications: what are the abstractions and implementations? / Yanhong A. Liu -- 10.1 Introduction -- 10.2 Logic language abstractions -- 10.3 Join and database-style queries -- 10.4 Recursion and inductive analysis -- 10.5 Constraint and combinatorial search -- 10.6 Further extensions, applications, and discussion -- 10.7 Related literature and future work -- Acknowledgments -- References -- Index -- Biographies. |
| 520 3# - 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 | Also available in print. |
| 588 ## - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Title from PDF title page (viewed on October 2, 2018). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Logic programming. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Declarative programming. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Liu, Yanhong Annie, |
| Dates associated with a name | 1965-, |
| Relator term | editor, |
| -- | author. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| International Standard Book Number | 9781970001990 |
| -- | 9781970001969 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | ACM books ; |
| Volume/sequential designation | #20. |
| International Standard Serial Number | 2374-6777 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Abstract with links to full text |
| Uniform Resource Identifier | <a href="http://dx.doi.org/10.1145/3191315">http://dx.doi.org/10.1145/3191315</a> |
No items available.