Negation as failure. II (Q3740275): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q788705
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: John C. Shepherdson / rank
 
Normal rank

Revision as of 23:37, 20 February 2024

scientific article
Language Label Description Also known as
English
Negation as failure. II
scientific article

    Statements

    Negation as failure. II (English)
    0 references
    1985
    0 references
    logic programming
    0 references
    closed world assumption
    0 references
    completed database
    0 references
    intuitionistic logic
    0 references
    classical logic
    0 references

    Identifiers