On the duality of abduction and model generation in a framework for model generation with equality (Q1314425)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the duality of abduction and model generation in a framework for model generation with equality
scientific article

    Statements

    On the duality of abduction and model generation in a framework for model generation with equality (English)
    0 references
    0 references
    0 references
    29 November 1994
    0 references
    0 references
    logic programming
    0 references
    duality
    0 references
    abduction
    0 references
    model generation
    0 references
    procedural semantics
    0 references
    0 references