Bounded repairability of word languages

    J. Comput. Syst. Sci., pp. 1302-1321, 2013.

    Cited by: 12|Bibtex|Views0|Links
    EI
    Keywords:
    word languagedatabase communitybounded repairabilityobvious approachbounded repairrMore(9+)

    Abstract:

    What do you do if a computational object (e.g. program trace) fails a specification? An obvious approach is to perform a repair: modify the object minimally to get something that satisfies the constraints. This approach has been investigated in the database community, for integrity constraints, and in the AI community for propositional lo...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments