Mixed integer programming methods for computing nonmonotonic deductive databases (Q4327631)

From MaRDI portal
scientific article; zbMATH DE number 741378
Language Label Description Also known as
English
Mixed integer programming methods for computing nonmonotonic deductive databases
scientific article; zbMATH DE number 741378

    Statements

    Mixed integer programming methods for computing nonmonotonic deductive databases (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    10 April 1995
    0 references
    deductive databases
    0 references
    logic programming
    0 references
    nonmonotonic reasoning
    0 references
    operations research
    0 references
    declarative semantics
    0 references

    Identifiers