Declarative Logic Programming: Theory, Systems, and Applications (Acm Books)

Kifer, Michael, Liu, Yanhong Annie

ISBN 10: 1970001992 / ISBN 13: 9781970001990

Published by ACM Books, 2018

About this Item

New.

Seller Inventory # ERICA75819700019925

Bibliographic Details

• Title: Declarative Logic Programming: Theory, Systems, and Applications (Acm Books)
• Publisher: ACM Books
• Publication Date: 2018
• Language: English
• ISBN 10: 1970001992
• ISBN 13: 9781970001990
• Binding: Hardcover
• Condition: New
• Book Type: book

About this title

Synopsis

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.

Logic Programming (LP) is at the nexus of Knowledge Representation, Artificial Intelligence, Mathematical Logic, Databases, and Programming Languages. It is fascinating and intellectually stimulating due to the fundamental interplay among theory, systems, and...

More