Logic programs with abstract constraint atoms: the role of computations (Q969538)

From MaRDI portal
Revision as of 18:59, 2 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Logic programs with abstract constraint atoms: the role of computations
scientific article

    Statements

    title
    Logic programs with abstract constraint atoms: the role of computations (English)
    0 references
    author
    Lengning Liu
    0 references
    Enrico Pontelli
    0 references
    Tran Cao Son
    0 references
    Miroslaw Truszczynski
    0 references
    publication date
    7 May 2010
    0 references
    zbMATH Keywords
    logic programs with abstract constraint atoms
    0 references
    answer sets
    0 references
    computations
    0 references
    describes a project that uses
    Cmodels
    0 references
    clasp
    0 references
    Smodels
    0 references
    cites work
    Q4385536
    0 references
    Q4736514
    0 references
    Q4434167
    0 references
    Logic Programming
    0 references
    Tight logic programs
    0 references
    Q4707773
    0 references
    Q3992908
    0 references
    Q4702577
    0 references
    Q4273952
    0 references
    Q3624081
    0 references

    Identifiers

    zbMATH DE Number
    5705369
    0 references
    OpenAlex ID
    W1988666619
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q969538&oldid=35168905"
    Powered by MediaWiki