Computational methods for database repair by signed formulae (Q2502158)

From MaRDI portal
Revision as of 19:07, 24 June 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
Computational methods for database repair by signed formulae
scientific article

    Statements

    title
    Computational methods for database repair by signed formulae (English)
    0 references
    author
    Ofer Arieli
    0 references
    Marc Denecker
    0 references
    Bert Van Nuffelen
    0 references
    Maurice Bruynooghe
    0 references
    publication date
    12 September 2006
    0 references
    zbMATH Keywords
    database repairing
    0 references
    signed formulae
    0 references
    ASP/CLP/SAT/QBF-solvers
    0 references
    knowledge representation and reasoning
    0 references
    describes a project that uses
    QUBE
    0 references
    QuBE++
    0 references
    QUBOS
    0 references
    semprop
    0 references
    LUPS
    0 references
    Chaff
    0 references
    cites work
    Q4472206
    0 references
    Q5715664
    0 references
    Q4427904
    0 references
    Q4472208
    0 references
    Q4708928
    0 references
    Q4472210
    0 references
    Q4539620
    0 references
    Q4736524
    0 references
    Q2767028
    0 references
    Q4472213
    0 references
    Q4412858
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68P15
    0 references
    68T30
    0 references
    68T37
    0 references
    68U35
    0 references
    zbMATH DE Number
    5052994
    0 references
    OpenAlex ID
    W2015200168
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2502158&oldid=34888406"
    Powered by MediaWiki