Well-founded operators for normal hybrid MKNF knowledge bases (Q4592713)

From MaRDI portal
scientific article; zbMATH DE number 6803828
Language Label Description Also known as
English
Well-founded operators for normal hybrid MKNF knowledge bases
scientific article; zbMATH DE number 6803828

    Statements

    Well-founded operators for normal hybrid MKNF knowledge bases (English)
    0 references
    0 references
    0 references
    0 references
    8 November 2017
    0 references
    hybrid MKNF
    0 references
    constraint propagation
    0 references
    DPLL-based search engine
    0 references
    well-founded operator
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references