1
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... for concurrent logic programs -- A general framework for knowledge compilation -- Data-driven transformation...

2
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Logic Programs -- Bossam: An Extended Rule Engine for OWL Inferencing -- Extending SWRL to Express Fully...

3
by Boley, Harold
Published 1999
Springer Berlin Heidelberg
... the notions of relations, as found in logic programming or in relational databases, and of functions, as found...