1996
Three-valued completion for abductive logic programs
Publication
Publication
Theoretical Computer Science , Volume 165 - Issue 1 p. 171- 200
Presented at the
International Conference on Algebraic and Logic Programming, Madrid
Additional Metadata | |
---|---|
, , , , | |
elsevier | |
Theoretical Computer Science | |
International Conference on Algebraic and Logic Programming | |
Teusink, F. (1996). Three-valued completion for abductive logic programs. In Theoretical Computer Science (Vol. 165, pp. 171–200). elsevier. |