Declarative logic programming : theory, systems, and applications / [edited by] Michael Kifer, Yanhong Annie Liu.
Material type:
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
![]() |
APU Library Open Shelf | Book | QA76.63 .D43 2018 c.1 (Browse shelf (Opens below)) | 1 | Available | 00012787 | |
![]() |
APU Library Open Shelf | Book | QA76.63 .D43 2018 c.2 (Browse shelf (Opens below)) | 2 | Available | 00012814 | |
![]() |
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.