The generation of abductive explanations from inconsistent theories (Q2909835)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The generation of abductive explanations from inconsistent theories
scientific article

    Statements

    The generation of abductive explanations from inconsistent theories (English)
    0 references
    0 references
    6 September 2012
    0 references
    abduction
    0 references
    paraconsistency
    0 references
    proof heuristics
    0 references
    adaptive logics
    0 references
    backward reasoning
    0 references
    goal-directed proof procedure
    0 references

    Identifiers