Sound and complete SLD-resolution for bilattice-based annotated logic programs

Ekaterina Komendantskaya, Anthony Karel Seda

    Research output: Contribution to journalArticle

    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