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

Ekaterina Komendantskaya, Anthony Karel Seda

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
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