Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs
Under a Creative Commons license
open access
Keywords
Annotated logic programming
bilattices
declarative and operational semantics
SLD-resolution
Cited by (0)
- 1
The authors thank the Boole Centre for Research in Informatics at University College Cork for substantial support during the preparation of this paper.
Copyright © 2008 Elsevier B.V.