The consistency of negation as failure (Q3732985)

From MaRDI portal
Revision as of 10:29, 5 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
The consistency of negation as failure
scientific article

    Statements

    title
    The consistency of negation as failure (English)
    0 references
    author
    Tim Flannagan
    0 references
    publication date
    1986
    0 references
    zbMATH Keywords
    completed database
    0 references
    logic programming
    0 references
    closed world assumption
    0 references
    query evaluation process
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T15
    0 references
    68N01
    0 references
    68P20
    0 references
    68Q60
    0 references
    zbMATH DE Number
    3965466
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3732985&oldid=17249984"
    Powered by MediaWiki