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

Ekaterina Komendantskaya, Anthony Karel Seda

    Research output: Contribution to journalArticle

    3 Citations (Scopus)

    Fingerprint Dive into the research topics of 'Sound and complete SLD-resolution for bilattice-based annotated logic programs'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science