TY - JOUR
T1 - Sound and complete SLD-resolution for bilattice-based annotated logic programs
AU - Komendantskaya, Ekaterina
AU - Seda, Anthony Karel
N1 - Copyright 2009 Elsevier B.V., All rights reserved.
PY - 2009/1/2
Y1 - 2009/1/2
N2 - We introduce the class of normal bilattice-based annotated first-order logic programs (BAPs) and develop declarative and operational semantics for them. In particular, SLD-resolution for these programs is defined and its soundness and completeness established.
AB - We introduce the class of normal bilattice-based annotated first-order logic programs (BAPs) and develop declarative and operational semantics for them. In particular, SLD-resolution for these programs is defined and its soundness and completeness established.
KW - Annotated logic programming
KW - Bilattices
KW - Declarative and operational semantics
KW - SLD-resolution
UR - http://www.scopus.com/inward/record.url?scp=58149301526&partnerID=8YFLogxK
U2 - 10.1016/j.entcs.2008.12.071
DO - 10.1016/j.entcs.2008.12.071
M3 - Article
AN - SCOPUS:58149301526
SN - 1571-0661
VL - 225
SP - 141
EP - 159
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
IS - C
ER -