On the stable model semantics for intensional functions (Q5398316)

From MaRDI portal
scientific article; zbMATH DE number 6262145
Language Label Description Also known as
English
On the stable model semantics for intensional functions
scientific article; zbMATH DE number 6262145

    Statements

    On the stable model semantics for intensional functions (English)
    0 references
    0 references
    0 references
    27 February 2014
    0 references
    answer set programming
    0 references
    stable models
    0 references
    intensional functions
    0 references

    Identifiers