Asia Pacific University Library catalogue


Declarative logic programming : theory, systems, and applications / [edited by] Michael Kifer, Yanhong Annie Liu.

Contributor(s): Kifer, Michael | Liu, Yanhong AnnieMaterial type: TextTextSeries: 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.
Contents:
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.
Summary: 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.
    Average rating: 0.0 (0 votes)
Item type Current library Collection Call number Copy number Status Date due Barcode
General Circulation General Circulation APU Library
Open Shelf
Book QA76.63 .D43 2018 c.1 (Browse shelf (Opens below)) 1 Available 00012787
Staff Circulation Staff Circulation APU Library
Open Shelf
Book QA76.63 .D43 2018 c.2 (Browse shelf (Opens below)) 2 Available 00012814
General Circulation General Circulation APU Library
Online Database
E-Book QA76.63 .D43 2018eb (Browse shelf (Opens below)) 3 Available

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.

to post a comment.