Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs

Ekaterina Komendantskaya*, Anthony Karel Seda

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)141-159
Number of pages19
JournalElectronic Notes in Theoretical Computer Science
Volume225
Issue numberC
DOIs
Publication statusPublished - 2 Jan 2009

Keywords

  • Annotated logic programming
  • bilattices
  • declarative and operational semantics
  • SLD-resolution

Fingerprint

Dive into the research topics of 'Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs'. Together they form a unique fingerprint.

Cite this