On negation in Hilog (Q4289931)

From MaRDI portal
scientific article; zbMATH DE number 558583
Language Label Description Also known as
English
On negation in Hilog
scientific article; zbMATH DE number 558583

    Statements

    On negation in Hilog (English)
    0 references
    0 references
    28 April 1994
    0 references
    programs with negation
    0 references
    higher order logics for programming languages
    0 references
    deductive database
    0 references
    stable-model semantics
    0 references
    well-founded semantics
    0 references
    HiLog programs
    0 references

    Identifiers