skip to content
Declarative logic programming : theory, systems, and applications Preview this item
ClosePreview this item
Checking...

Declarative logic programming : theory, systems, and applications

Author: M Kifer; Yanhong Annie Liu
Publisher: [New York] : ACM, Association for Computing Machinery ; [San Rafael, California] : M & C, Morgan & Claypool Publishers, [2018] ©2018
Series: ACM books, no. 20.
Edition/Format:   Print book : English : First editionView all editions and formats
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.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: M Kifer; Yanhong Annie Liu
ISBN: 9781970001990 1970001992 9781970001969 1970001968
OCLC Number: 1055685551
Notes: "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.
Description: xx, 595 pages : illustrations (some color) ; 24 cm.
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.
Series Title: ACM books, no. 20.
Responsibility: [edited by] Michael Kifer, Yanhong Annie Liu.

Abstract:

The goal of this book is to help fill in the void in the Logic Programming (LP) literature. It offers a number of overviews on key aspects of LP that are suitable for researchers and practitioners as  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1055685551> # Declarative logic programming : theory, systems, and applications
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "1055685551" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://dewey.info/class/005.115/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5466823312#Topic/logic_programming> ; # Logic programming
    schema:about <http://experiment.worldcat.org/entity/work/data/5466823312#Topic/declarative_programming> ; # Declarative programming
    schema:bookEdition "First edition." ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5466823312#Person/liu_yanhong_annie_1965> ; # Yanhong Annie Liu
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5466823312#Person/kifer_m_michael_1954> ; # Michael Kifer
    schema:copyrightYear "2018" ;
    schema:datePublished "2018" ;
    schema:description "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."@en ;
    schema:description "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."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/5466823312#Person/liu_yanhong_annie_1965> ; # Yanhong Annie Liu
    schema:editor <http://experiment.worldcat.org/entity/work/data/5466823312#Person/kifer_m_michael_1954> ; # Michael Kifer
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5466823312> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5466823312#Series/acm_books> ; # ACM books ;
    schema:isPartOf <http://worldcat.org/issn/2374-6769> ; # ACM books,
    schema:name "Declarative logic programming : theory, systems, and applications"@en ;
    schema:productID "1055685551" ;
    schema:workExample <http://worldcat.org/isbn/9781970001990> ;
    schema:workExample <http://worldcat.org/isbn/9781970001969> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1055685551> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5466823312#Person/kifer_m_michael_1954> # Michael Kifer
    a schema:Person ;
    schema:birthDate "1954" ;
    schema:familyName "Kifer" ;
    schema:givenName "Michael" ;
    schema:givenName "M." ;
    schema:name "Michael Kifer" ;
    .

<http://experiment.worldcat.org/entity/work/data/5466823312#Person/liu_yanhong_annie_1965> # Yanhong Annie Liu
    a schema:Person ;
    schema:birthDate "1965" ;
    schema:familyName "Liu" ;
    schema:givenName "Yanhong Annie" ;
    schema:name "Yanhong Annie Liu" ;
    .

<http://experiment.worldcat.org/entity/work/data/5466823312#Series/acm_books> # ACM books ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1055685551> ; # Declarative logic programming : theory, systems, and applications
    schema:name "ACM books ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/5466823312#Topic/declarative_programming> # Declarative programming
    a schema:Intangible ;
    schema:name "Declarative programming"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5466823312#Topic/logic_programming> # Logic programming
    a schema:Intangible ;
    schema:name "Logic programming"@en ;
    .

<http://worldcat.org/isbn/9781970001969>
    a schema:ProductModel ;
    schema:isbn "1970001968" ;
    schema:isbn "9781970001969" ;
    .

<http://worldcat.org/isbn/9781970001990>
    a schema:ProductModel ;
    schema:isbn "1970001992" ;
    schema:isbn "9781970001990" ;
    .

<http://worldcat.org/issn/2374-6769> # ACM books,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1055685551> ; # Declarative logic programming : theory, systems, and applications
    schema:issn "2374-6769" ;
    schema:name "ACM books," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.