Declarative Logic Programming: Theory, Systems, and Applications

by Yanhong Annie Liu and Michael Kifer

Book Overview

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...

• Format: Paperback
• Language: English
• ISBN: 1970001968
• ISBN13: 9781970001969
• Release Date: September 2018
• Publisher: ACM Books
• Length: 615 Pages
• Weight: 2.30 lbs.
• Dimensions: 1.2" x 7.5" x 9.3"