Computational methods for database repair by signed formulae (Q2502158)

From MaRDI portal
Revision as of 03:01, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Computational methods for database repair by signed formulae
scientific article

    Statements

    Computational methods for database repair by signed formulae (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    12 September 2006
    0 references
    database repairing
    0 references
    signed formulae
    0 references
    ASP/CLP/SAT/QBF-solvers
    0 references
    knowledge representation and reasoning
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references