A three-valued semantics for deductive databases and logic programs*
Under an Elsevier user license
open archive
Cited by (0)
- *
This is a substantially improved and extended version of an extended abstract that appeared in the “Proceedings of the 9th ACM PODS, 1990” [30]. Work supported by the Natural Sciences and Engineering Research Council of Canada.
Copyright © 1994 Published by Elsevier Inc.