Michael Kifer: 1 book
Declarative Logic Programming
Theory, Systems, and Applications
Language: English
Release Date: September 19, 2018
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,...
