Declarative logic programming : theory, systems, and applications / [edited by] Michael Kifer, Yanhong Annie Liu.
Material type:
TextSeries: ACM books ; 2374-6777 ;Publication details: [New York] : ACM, Association for Computing Machinery ; [San Rafael, California] : M & C, Morgan & Claypool Publishers, c2018Description: xx, 595 pages : illustrations (some color) ; 24 cm; 1 online resouce (xx, 595 pages :) illustrations (some color)ISBN: 1970001968 (paperback); 9781970001976 (hardcover); 9781970001969 (paperback); 9781970001990 (epub); 9781970001983 (pdf)Subject(s): Logic programming | Declarative programmingDDC classification: 005.115 LOC classification: QA76.63 | .D43 2018Online resources: Available in ACM Digital Library. Requires Log In to view full text. Item is also available in electronic format. Available in ACM Digital Library.| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
General Circulation
|
APU Library Open Shelf | Book | QA76.63 .D43 2018 c.1 (Browse shelf (Opens below)) | 1 | Available | 00012787 | |
Staff Circulation
|
APU Library Open Shelf | Book | QA76.63 .D43 2018 c.2 (Browse shelf (Opens below)) | 2 | Available | 00012814 | |
|
General Circulation
|
APU Library Online Database | E-Book | QA76.63 .D43 2018eb (Browse shelf (Opens below)) | 3 | Available |
Browsing APU Library shelves, Shelving location: Online Database, Collection: E-Book Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| QA76.585 .J33 2019eb The essentials of modern software engineering : free the practices from the method prisons! | QA76.62 .S78 2016eb Verified functional programming in Agda | QA76.625 .B37 2016eb Reactive internet programming : state chart XML in action / | QA76.63 .D43 2018eb Declarative logic programming : theory, systems, and applications / | QA76.642 .S48 2017eb Shared-memory parallelism can be simple, fast, and scalable | QA76.87 .A38 1993eb Advances in pattern recognition systems using neural network technologies | QA76.9.A25 G37 2015eb Candidate multilinear maps |
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.
Includes bibliographical references and index.
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 --
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.
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.
Item is also available in electronic format. Available in ACM Digital Library.
Mode of access: World Wide Web.
System requirements: Adobe Acrobat Reader.
There are no comments on this title.